TCR_EL2,        /* Translation Control Register (EL2) */
        PIRE0_EL2,      /* Permission Indirection Register 0 (EL2) */
        PIR_EL2,        /* Permission Indirection Register 1 (EL2) */
+       POR_EL2,        /* Permission Overlay Register 2 (EL2) */
        SPSR_EL2,       /* EL2 saved program status register */
        ELR_EL2,        /* EL2 exception link register */
        AFSR0_EL2,      /* Auxiliary Fault Status Register 0 (EL2) */
        case TCR2_EL1:          *val = read_sysreg_s(SYS_TCR2_EL12);    break;
        case PIR_EL1:           *val = read_sysreg_s(SYS_PIR_EL12);     break;
        case PIRE0_EL1:         *val = read_sysreg_s(SYS_PIRE0_EL12);   break;
+       case POR_EL1:           *val = read_sysreg_s(SYS_POR_EL12);     break;
        case ESR_EL1:           *val = read_sysreg_s(SYS_ESR_EL12);     break;
        case AFSR0_EL1:         *val = read_sysreg_s(SYS_AFSR0_EL12);   break;
        case AFSR1_EL1:         *val = read_sysreg_s(SYS_AFSR1_EL12);   break;
        case TCR2_EL1:          write_sysreg_s(val, SYS_TCR2_EL12);     break;
        case PIR_EL1:           write_sysreg_s(val, SYS_PIR_EL12);      break;
        case PIRE0_EL1:         write_sysreg_s(val, SYS_PIRE0_EL12);    break;
+       case POR_EL1:           write_sysreg_s(val, SYS_POR_EL12);      break;
        case ESR_EL1:           write_sysreg_s(val, SYS_ESR_EL12);      break;
        case AFSR0_EL1:         write_sysreg_s(val, SYS_AFSR0_EL12);    break;
        case AFSR1_EL1:         write_sysreg_s(val, SYS_AFSR1_EL12);    break;
 
                MAPPED_EL2_SYSREG(TCR2_EL2,    TCR2_EL1,    NULL             );
                MAPPED_EL2_SYSREG(PIR_EL2,     PIR_EL1,     NULL             );
                MAPPED_EL2_SYSREG(PIRE0_EL2,   PIRE0_EL1,   NULL             );
+               MAPPED_EL2_SYSREG(POR_EL2,     POR_EL1,     NULL             );
                MAPPED_EL2_SYSREG(AMAIR_EL2,   AMAIR_EL1,   NULL             );
                MAPPED_EL2_SYSREG(ELR_EL2,     ELR_EL1,     NULL             );
                MAPPED_EL2_SYSREG(SPSR_EL2,    SPSR_EL1,    NULL             );
        return REG_HIDDEN;
 }
 
+static unsigned int s1poe_el2_visibility(const struct kvm_vcpu *vcpu,
+                                        const struct sys_reg_desc *rd)
+{
+       return __el2_visibility(vcpu, rd, s1poe_visibility);
+}
+
 static unsigned int tcr2_visibility(const struct kvm_vcpu *vcpu,
                                    const struct sys_reg_desc *rd)
 {
                         s1pie_el2_visibility),
        EL2_REG_FILTERED(PIR_EL2, access_rw, reset_val, 0,
                         s1pie_el2_visibility),
+       EL2_REG_FILTERED(POR_EL2, access_rw, reset_val, 0,
+                        s1poe_el2_visibility),
        EL2_REG(AMAIR_EL2, access_rw, reset_val, 0),
 
        EL2_REG(VBAR_EL2, access_rw, reset_val, 0),