Searched refs:VCPU_REGS_RBX (Results 1 - 3 of 3) sorted by relevance
| /linux-master/arch/x86/kvm/svm/ |
| H A D | sev.c | 599 save->rbx = svm->vcpu.arch.regs[VCPU_REGS_RBX];
2432 ghcb_set_rbx(ghcb, vcpu->arch.regs[VCPU_REGS_RBX]);
2462 vcpu->arch.regs[VCPU_REGS_RBX] = kvm_ghcb_get_rbx_if_valid(svm, ghcb);
2814 cpuid_value = vcpu->arch.regs[VCPU_REGS_RBX];
|
| /linux-master/arch/x86/kvm/ |
| H A D | emulate.c | 1218 unsigned bx = reg_read(ctxt, VCPU_REGS_RBX);
2223 (u32) reg_read(ctxt, VCPU_REGS_RBX);
2675 tss->bx = reg_read(ctxt, VCPU_REGS_RBX);
2699 *reg_write(ctxt, VCPU_REGS_RBX) = tss->bx;
2788 tss->ebx = reg_read(ctxt, VCPU_REGS_RBX);
2817 *reg_write(ctxt, VCPU_REGS_RBX) = tss->ebx;
3641 *reg_write(ctxt, VCPU_REGS_RBX) = ebx;
4707 reg_read(ctxt, VCPU_REGS_RBX) +
|
| /linux-master/arch/x86/include/asm/ |
| H A D | kvm_host.h | 171 VCPU_REGS_RBX = __VCPU_REGS_RBX, enumerator in enum:kvm_reg
|
Completed in 125 milliseconds