__ctxt_sys_reg
#define ctxt_sys_reg(c,r) (*__ctxt_sys_reg(c,r))
offs->vcpu_offset = __ctxt_sys_reg(&vcpu->arch.ctxt, CNTVOFF_EL2);
fp_state.svcr = __ctxt_sys_reg(&vcpu->arch.ctxt, SVCR);
fp_state.fpmr = __ctxt_sys_reg(&vcpu->arch.ctxt, FPMR);
return __ctxt_sys_reg(&vcpu->arch.ctxt, SP_EL1);
return __ctxt_sys_reg(&vcpu->arch.ctxt, ELR_EL1);
return __ctxt_sys_reg(&vcpu->arch.ctxt, SPSR_EL1);
hcr = __ctxt_sys_reg(&vcpu->arch.ctxt, HCR_EL2);