Home
last modified time | relevance | path

Searched refs:VCPU_REGS_RBX (Results 1 – 3 of 3) sorted by relevance

/Linux-v5.4/arch/x86/kvm/
Demulate.c1275 unsigned bx = reg_read(ctxt, VCPU_REGS_RBX); in decode_modrm()
2249 (u32) reg_read(ctxt, VCPU_REGS_RBX); in em_cmpxchg8b()
3029 tss->bx = reg_read(ctxt, VCPU_REGS_RBX); in save_state_to_tss16()
3053 *reg_write(ctxt, VCPU_REGS_RBX) = tss->bx; in load_state_from_tss16()
3143 tss->ebx = reg_read(ctxt, VCPU_REGS_RBX); in save_state_to_tss32()
3172 *reg_write(ctxt, VCPU_REGS_RBX) = tss->ebx; in load_state_from_tss32()
3977 *reg_write(ctxt, VCPU_REGS_RBX) = ebx; in em_cpuid()
5097 reg_read(ctxt, VCPU_REGS_RBX) + in decode_operand()
Dsvm.c5718 [rbx]"i"(offsetof(struct vcpu_svm, vcpu.arch.regs[VCPU_REGS_RBX])), in svm_vcpu_run()
/Linux-v5.4/arch/x86/include/asm/
Dkvm_host.h143 VCPU_REGS_RBX = __VCPU_REGS_RBX, enumerator