arch/arm64/kvm/at.c

1136

up = perm_idx(vcpu, PIRE0_EL2, idx);

arch/arm64/kvm/hyp/vhe/sysreg-sr.c

131

write_sysreg_el1(__vcpu_sys_reg(vcpu, PIRE0_EL2), SYS_PIRE0);

arch/arm64/kvm/hyp/vhe/sysreg-sr.c

58

__vcpu_assign_sys_reg(vcpu, PIRE0_EL2, read_sysreg_el1(SYS_PIRE0));

arch/arm64/kvm/sys_regs.c

201

MAPPED_EL2_SYSREG(PIRE0_EL2, PIRE0_EL1, NULL );

arch/arm64/kvm/sys_regs.c

3699

EL2_REG_FILTERED(PIRE0_EL2, access_rw, reset_val, 0,

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

46

REG_FEAT(PIRE0_EL2, ID_AA64MMFR3_EL1, S1PIE, IMP),

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

757

SYS_REG(PIRE0_EL2),

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

354

MAPPED_EL2_SYSREG(PIRE0_EL2, PIRE0_EL1);