arch/arm64/include/asm/kvm_host.h

1165

#define ctxt_sys_reg(c,r) (*__ctxt_sys_reg(c,r))

arch/arm64/kvm/arch_timer.c

1030

offs->vcpu_offset = __ctxt_sys_reg(&vcpu->arch.ctxt, CNTVOFF_EL2);

arch/arm64/kvm/fpsimd.c

80

fp_state.svcr = __ctxt_sys_reg(&vcpu->arch.ctxt, SVCR);

arch/arm64/kvm/fpsimd.c

81

fp_state.fpmr = __ctxt_sys_reg(&vcpu->arch.ctxt, FPMR);

arch/arm64/kvm/guest.c

149

return __ctxt_sys_reg(&vcpu->arch.ctxt, SP_EL1);

arch/arm64/kvm/guest.c

152

return __ctxt_sys_reg(&vcpu->arch.ctxt, ELR_EL1);

arch/arm64/kvm/guest.c

155

return __ctxt_sys_reg(&vcpu->arch.ctxt, SPSR_EL1);

arch/arm64/kvm/hyp/include/hyp/switch.h

392

hcr = __ctxt_sys_reg(&vcpu->arch.ctxt, HCR_EL2);