Searched refs:write_sysreg_el2 (Results 1 – 3 of 3) sorted by relevance
155 write_sysreg_el2(ctxt->gp_regs.regs.pc, elr); in __sysreg_restore_el2_return_state()156 write_sysreg_el2(ctxt->gp_regs.regs.pstate, spsr); in __sysreg_restore_el2_return_state()
319 write_sysreg_el2(vcpu->arch.ctxt.gp_regs.regs.pstate, spsr); in __skip_instr()324 write_sysreg_el2(*vcpu_pc(vcpu), elr); in __skip_instr()
61 #define write_sysreg_el2(v,r) \ macro
