Searched refs:VCPU_REGS_RBX (Results 1 – 5 of 5) sorted by relevance
| /arch/x86/kvm/ |
| A D | emulate.c | 1222 unsigned bx = reg_read(ctxt, VCPU_REGS_RBX); in decode_modrm()
2228 (u32) reg_read(ctxt, VCPU_REGS_RBX); in em_cmpxchg8b()
2651 tss->bx = reg_read(ctxt, VCPU_REGS_RBX); in save_state_to_tss16()
2675 *reg_write(ctxt, VCPU_REGS_RBX) = tss->bx; in load_state_from_tss16()
2764 tss->ebx = reg_read(ctxt, VCPU_REGS_RBX); in save_state_to_tss32()
2793 *reg_write(ctxt, VCPU_REGS_RBX) = tss->ebx; in load_state_from_tss32()
3618 *reg_write(ctxt, VCPU_REGS_RBX) = ebx; in em_cpuid()
4684 reg_read(ctxt, VCPU_REGS_RBX) + in decode_operand()
|
| /arch/x86/kvm/svm/ |
| A D | sev.c | 858 save->rbx = svm->vcpu.arch.regs[VCPU_REGS_RBX]; in sev_es_sync_vmsa()
3250 ghcb_set_rbx(ghcb, vcpu->arch.regs[VCPU_REGS_RBX]); in sev_es_sync_to_ghcb()
3280 vcpu->arch.regs[VCPU_REGS_RBX] = kvm_ghcb_get_rbx_if_valid(svm, ghcb); in sev_es_sync_from_ghcb()
4113 data_npages = vcpu->arch.regs[VCPU_REGS_RBX]; in snp_handle_ext_guest_req()
4175 cpuid_value = vcpu->arch.regs[VCPU_REGS_RBX]; in sev_handle_vmgexit_msr_protocol()
|
| A D | svm.c | 3454 vcpu->arch.regs[VCPU_REGS_RBX]); in dump_vmcb()
|
| /arch/x86/include/asm/ |
| A D | kvm_host.h | 178 VCPU_REGS_RBX = __VCPU_REGS_RBX, enumerator
|
| /arch/x86/kvm/vmx/ |
| A D | tdx.c | 984 BIT_ULL(VCPU_REGS_RBX) | \
|
Completed in 46 milliseconds