PIR_EL2
pp = perm_idx(vcpu, PIR_EL2, idx);
pp = perm_idx(vcpu, PIR_EL2, idx);
write_sysreg_el1(__vcpu_sys_reg(vcpu, PIR_EL2), SYS_PIR);
__vcpu_assign_sys_reg(vcpu, PIR_EL2, read_sysreg_el1(SYS_PIR));
MAPPED_EL2_SYSREG(PIR_EL2, PIR_EL1, NULL );
EL2_REG_FILTERED(PIR_EL2, access_rw, reset_val, 0,
REG_FEAT(PIR_EL2, ID_AA64MMFR3_EL1, S1PIE, IMP),
SYS_REG(PIR_EL2),
MAPPED_EL2_SYSREG(PIR_EL2, PIR_EL1);