POR_EL2
pov_perms = perm_idx(vcpu, POR_EL2, idx);
pov_perms = perm_idx(vcpu, POR_EL2, idx);
write_sysreg_el1(__vcpu_sys_reg(vcpu, POR_EL2), SYS_POR);
__vcpu_assign_sys_reg(vcpu, POR_EL2, read_sysreg_el1(SYS_POR));
MAPPED_EL2_SYSREG(POR_EL2, POR_EL1, NULL );
EL2_REG_FILTERED(POR_EL2, access_rw, reset_val, 0,
REG_FEAT(POR_EL2, ID_AA64MMFR3_EL1, S1POE, IMP),
SYS_REG(POR_EL2),
MAPPED_EL2_SYSREG(POR_EL2, POR_EL1);