Searched refs:VCPU_REGS_RBX (Results 1 – 3 of 3) sorted by relevance
| /arch/x86/kvm/ |
| D | emulate.c | 1333 unsigned bx = reg_read(ctxt, VCPU_REGS_RBX); in decode_modrm()
2310 (u32) reg_read(ctxt, VCPU_REGS_RBX); in em_cmpxchg8b()
3093 tss->bx = reg_read(ctxt, VCPU_REGS_RBX); in save_state_to_tss16()
3117 *reg_write(ctxt, VCPU_REGS_RBX) = tss->bx; in load_state_from_tss16()
3207 tss->ebx = reg_read(ctxt, VCPU_REGS_RBX); in save_state_to_tss32()
3236 *reg_write(ctxt, VCPU_REGS_RBX) = tss->ebx; in load_state_from_tss32()
4055 *reg_write(ctxt, VCPU_REGS_RBX) = ebx; in em_cpuid()
5189 reg_read(ctxt, VCPU_REGS_RBX) + in decode_operand()
|
| D | svm.c | 5786 [rbx]"i"(offsetof(struct vcpu_svm, vcpu.arch.regs[VCPU_REGS_RBX])), in svm_vcpu_run()
|
| /arch/x86/include/asm/ |
| D | kvm_host.h | 143 VCPU_REGS_RBX = __VCPU_REGS_RBX, enumerator
|