Searched refs:VCPU_REGS_R11 (Results 1 – 3 of 3) sorted by relevance
152 VCPU_REGS_R11 = __VCPU_REGS_R11, enumerator
2793 *reg_write(ctxt, VCPU_REGS_R11) = ctxt->eflags; in em_syscall()
5728 [r11]"i"(offsetof(struct vcpu_svm, vcpu.arch.regs[VCPU_REGS_R11])), in svm_vcpu_run()