Searched refs:__ctxt_sys_reg (Results 1 – 3 of 3) sorted by relevance
80 fp_state.svcr = __ctxt_sys_reg(&vcpu->arch.ctxt, SVCR); in kvm_arch_vcpu_ctxsync_fp()81 fp_state.fpmr = __ctxt_sys_reg(&vcpu->arch.ctxt, FPMR); in kvm_arch_vcpu_ctxsync_fp()
149 return __ctxt_sys_reg(&vcpu->arch.ctxt, SP_EL1); in core_reg_addr()152 return __ctxt_sys_reg(&vcpu->arch.ctxt, ELR_EL1); in core_reg_addr()155 return __ctxt_sys_reg(&vcpu->arch.ctxt, SPSR_EL1); in core_reg_addr()
1197 #define __ctxt_sys_reg(c,r) \ macro1204 #define ctxt_sys_reg(c,r) (*__ctxt_sys_reg(c,r))