write_sysreg_el2
write_sysreg_el2(vcpu_gp_regs(vcpu)->pstate, SYS_SPSR);
write_sysreg_el2(*vcpu_pc(vcpu), SYS_ELR);
write_sysreg_el2(read_sysreg_el2(SYS_ELR) + 4, SYS_ELR);
write_sysreg_el2(*vcpu_pc(vcpu), SYS_ELR);
write_sysreg_el2(spsr & ~DBG_SPSR_SS, SYS_SPSR);
write_sysreg_el2(zcr_el2, SYS_ZCR);
write_sysreg_el2(zcr_el2, SYS_ZCR);
write_sysreg_el2(zcr_el2, SYS_ZCR);
write_sysreg_el2(*vcpu_cpsr(vcpu), SYS_SPSR);
write_sysreg_el2(read_sysreg_el2(SYS_ELR) - 4, SYS_ELR);
write_sysreg_el2(ctxt->regs.pc, SYS_ELR);
write_sysreg_el2(pstate, SYS_SPSR);
write_sysreg_el2(tmp, SYS_SCTLR);
write_sysreg_el2(read_sysreg_el1(SYS_VBAR) + exc_offset, SYS_ELR);
write_sysreg_el2(spsr_el2, SYS_SPSR);
write_sysreg_el2(pc, SYS_ELR);
write_sysreg_el2(*vcpu_pc(vcpu), SYS_ELR);
write_sysreg_el2(*vcpu_cpsr(vcpu), SYS_SPSR);
write_sysreg_el2(spsr, SYS_SPSR);
write_sysreg_el2(elr, SYS_ELR);