Searched refs:VCPU_REGS_R11 (Results 1 – 2 of 2) sorted by relevance
155 VCPU_REGS_R11 = __VCPU_REGS_R11, enumerator
2859 *reg_write(ctxt, VCPU_REGS_R11) = ctxt->eflags; in em_syscall()