arch/x86/kvm/emulate.c

1156

unsigned bx = reg_read(ctxt, VCPU_REGS_RBX);

arch/x86/kvm/emulate.c

2205

(u32) reg_read(ctxt, VCPU_REGS_RBX);

arch/x86/kvm/emulate.c

2628

tss->bx = reg_read(ctxt, VCPU_REGS_RBX);

arch/x86/kvm/emulate.c

2652

*reg_write(ctxt, VCPU_REGS_RBX) = tss->bx;

arch/x86/kvm/emulate.c

2741

tss->ebx = reg_read(ctxt, VCPU_REGS_RBX);

arch/x86/kvm/emulate.c

2770

*reg_write(ctxt, VCPU_REGS_RBX) = tss->ebx;

arch/x86/kvm/emulate.c

3595

*reg_write(ctxt, VCPU_REGS_RBX) = ebx;

arch/x86/kvm/emulate.c

4718

reg_read(ctxt, VCPU_REGS_RBX) +

arch/x86/kvm/svm/sev.c

3330

ghcb_set_rbx(ghcb, vcpu->arch.regs[VCPU_REGS_RBX]);

arch/x86/kvm/svm/sev.c

3359

vcpu->arch.regs[VCPU_REGS_RBX] = kvm_ghcb_get_rbx_if_valid(svm);

arch/x86/kvm/svm/sev.c

4171

vcpu->arch.regs[VCPU_REGS_RBX] = vcpu->run->snp_req_certs.npages;

arch/x86/kvm/svm/sev.c

4216

data_npages = vcpu->arch.regs[VCPU_REGS_RBX];

arch/x86/kvm/svm/sev.c

4287

cpuid_value = vcpu->arch.regs[VCPU_REGS_RBX];

arch/x86/kvm/svm/sev.c

899

save->rbx = svm->vcpu.arch.regs[VCPU_REGS_RBX];

arch/x86/kvm/svm/svm.c

3489

vcpu->arch.regs[VCPU_REGS_RBX]);

arch/x86/kvm/vmx/tdx.c

1023

BIT_ULL(VCPU_REGS_RBX) | \