Searched refs:VCPU_REGS_RBX (Results 1 – 2 of 2) sorted by relevance
1308 unsigned bx = reg_read(ctxt, VCPU_REGS_RBX); in decode_modrm()2282 (u32) reg_read(ctxt, VCPU_REGS_RBX); in em_cmpxchg8b()3047 tss->bx = reg_read(ctxt, VCPU_REGS_RBX); in save_state_to_tss16()3071 *reg_write(ctxt, VCPU_REGS_RBX) = tss->bx; in load_state_from_tss16()3161 tss->ebx = reg_read(ctxt, VCPU_REGS_RBX); in save_state_to_tss32()3190 *reg_write(ctxt, VCPU_REGS_RBX) = tss->ebx; in load_state_from_tss32()4002 *reg_write(ctxt, VCPU_REGS_RBX) = ebx; in em_cpuid()5137 reg_read(ctxt, VCPU_REGS_RBX) + in decode_operand()
146 VCPU_REGS_RBX = __VCPU_REGS_RBX, enumerator
