POR_EL1
pov_perms = perm_idx(vcpu, POR_EL1, idx);
write_sysreg_el1(vcpu_read_sys_reg(vcpu, POR_EL1), SYS_POR);
ctxt_sys_reg(ctxt, POR_EL1) = read_sysreg_el1(SYS_POR);
write_sysreg_el1(ctxt_sys_reg(ctxt, POR_EL1), SYS_POR);
case POR_EL1:
MAPPED_EL2_SYSREG(POR_EL2, POR_EL1, NULL );
case POR_EL1: val = read_sysreg_s(SYS_POR_EL12); break;
case POR_EL1: write_sysreg_s(val, SYS_POR_EL12); break;
{ SYS_DESC(SYS_POR_EL1), NULL, reset_unknown, POR_EL1,
REG_FEAT(POR_EL1, ID_AA64MMFR3_EL1, S1POE, IMP),
MAPPED_EL2_SYSREG(POR_EL2, POR_EL1);