arch/arm64/kvm/at.c

1133

up = perm_idx(vcpu, PIRE0_EL1, idx);

arch/arm64/kvm/at.c

1375

write_sysreg_el1(vcpu_read_sys_reg(vcpu, PIRE0_EL1), SYS_PIRE0);

arch/arm64/kvm/hyp/include/hyp/sysreg-sr.h

146

ctxt_sys_reg(ctxt, PIRE0_EL1) = read_sysreg_el1(SYS_PIRE0);

arch/arm64/kvm/hyp/include/hyp/sysreg-sr.h

241

write_sysreg_el1(ctxt_sys_reg(ctxt, PIRE0_EL1), SYS_PIRE0);

arch/arm64/kvm/sys_regs.c

110

case PIRE0_EL1:

arch/arm64/kvm/sys_regs.c

201

MAPPED_EL2_SYSREG(PIRE0_EL2, PIRE0_EL1, NULL );

arch/arm64/kvm/sys_regs.c

230

case PIRE0_EL1: val = read_sysreg_s(SYS_PIRE0_EL12); break;

arch/arm64/kvm/sys_regs.c

268

case PIRE0_EL1: write_sysreg_s(val, SYS_PIRE0_EL12); break;

arch/arm64/kvm/sys_regs.c

3462

{ SYS_DESC(SYS_PIRE0_EL1), NULL, reset_unknown, PIRE0_EL1,

tools/testing/selftests/kvm/arm64/get-reg-list.c

45

REG_FEAT(PIRE0_EL1, ID_AA64MMFR3_EL1, S1PIE, IMP),

tools/testing/selftests/kvm/include/arm64/processor.h

354

MAPPED_EL2_SYSREG(PIRE0_EL2, PIRE0_EL1);