Searched refs:VCPU_REGS_RDX (Results 1 - 3 of 3) sorted by relevance
/linux-master/arch/x86/kvm/ |
H A D | emulate.c | 2217 ((u32) (old >> 32) != (u32) reg_read(ctxt, VCPU_REGS_RDX))) { 2219 *reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32); 2534 rdx = reg_read(ctxt, VCPU_REGS_RDX); 2674 tss->dx = reg_read(ctxt, VCPU_REGS_RDX); 2698 *reg_write(ctxt, VCPU_REGS_RDX) = tss->dx; 2787 tss->edx = reg_read(ctxt, VCPU_REGS_RDX); 2816 *reg_write(ctxt, VCPU_REGS_RDX) = tss->edx; 3223 ctxt->dst.addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX); 3247 *reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32; 3258 *reg_write(ctxt, VCPU_REGS_RDX) [all...] |
/linux-master/arch/x86/kvm/svm/ |
H A D | sev.c | 601 save->rdx = svm->vcpu.arch.regs[VCPU_REGS_RDX]; 2434 ghcb_set_rdx(ghcb, vcpu->arch.regs[VCPU_REGS_RDX]); 2464 vcpu->arch.regs[VCPU_REGS_RDX] = kvm_ghcb_get_rdx_if_valid(svm, ghcb); 2818 cpuid_value = vcpu->arch.regs[VCPU_REGS_RDX];
|
/linux-master/arch/x86/include/asm/ |
H A D | kvm_host.h | 170 VCPU_REGS_RDX = __VCPU_REGS_RDX, enumerator in enum:kvm_reg
|
Completed in 244 milliseconds