vcpu_gp_regs
return (unsigned long *)&vcpu_gp_regs(vcpu)->pc;
return (unsigned long *)&vcpu_gp_regs(vcpu)->pstate;
return (reg_num == 31) ? 0 : vcpu_gp_regs(vcpu)->regs[reg_num];
vcpu_gp_regs(vcpu)->regs[reg_num] = val;
vcpu_gp_regs(vcpu)->compat_lr_abt = return_address;
vcpu_gp_regs(vcpu)->compat_lr_und = return_address;
vcpu_gp_regs(vcpu)->pstate = read_sysreg_el2(SYS_SPSR);
write_sysreg_el2(vcpu_gp_regs(vcpu)->pstate, SYS_SPSR);
arm64_mops_reset_regs(vcpu_gp_regs(vcpu), vcpu->arch.fault.esr_el2);
memset(vcpu_gp_regs(vcpu), 0, sizeof(*vcpu_gp_regs(vcpu)));
vcpu_gp_regs(vcpu)->pstate = pstate;