POR_EL0
uov_perms = perm_idx(vcpu, POR_EL0, idx);
uov_perms = perm_idx(vcpu, POR_EL0, idx);
write_sysreg_s(vcpu_read_sys_reg(vcpu, POR_EL0), SYS_POR_EL0);
write_sysreg_s(ctxt_sys_reg(ctxt, POR_EL0), SYS_POR_EL0);
ctxt_sys_reg(ctxt, POR_EL0) = read_sysreg_s(SYS_POR_EL0);
{ SYS_DESC(SYS_POR_EL0), NULL, reset_unknown, POR_EL0,
REG_FEAT(POR_EL0, ID_AA64MMFR3_EL1, S1POE, IMP),