PIRE0_EL2
up = perm_idx(vcpu, PIRE0_EL2, idx);
write_sysreg_el1(__vcpu_sys_reg(vcpu, PIRE0_EL2), SYS_PIRE0);
__vcpu_assign_sys_reg(vcpu, PIRE0_EL2, read_sysreg_el1(SYS_PIRE0));
MAPPED_EL2_SYSREG(PIRE0_EL2, PIRE0_EL1, NULL );
EL2_REG_FILTERED(PIRE0_EL2, access_rw, reset_val, 0,
REG_FEAT(PIRE0_EL2, ID_AA64MMFR3_EL1, S1PIE, IMP),
SYS_REG(PIRE0_EL2),
MAPPED_EL2_SYSREG(PIRE0_EL2, PIRE0_EL1);