PIR_EL1
pp = perm_idx(vcpu, PIR_EL1, idx);
write_sysreg_el1(vcpu_read_sys_reg(vcpu, PIR_EL1), SYS_PIR);
ctxt_sys_reg(ctxt, PIR_EL1) = read_sysreg_el1(SYS_PIR);
write_sysreg_el1(ctxt_sys_reg(ctxt, PIR_EL1), SYS_PIR);
case PIR_EL1:
MAPPED_EL2_SYSREG(PIR_EL2, PIR_EL1, NULL );
case PIR_EL1: val = read_sysreg_s(SYS_PIR_EL12); break;
case PIR_EL1: write_sysreg_s(val, SYS_PIR_EL12); break;
{ SYS_DESC(SYS_PIR_EL1), NULL, reset_unknown, PIR_EL1,
REG_FEAT(PIR_EL1, ID_AA64MMFR3_EL1, S1PIE, IMP),
MAPPED_EL2_SYSREG(PIR_EL2, PIR_EL1);