Searched refs:VCPU_REGS_RDX (Results 1 – 3 of 3) sorted by relevance
/Linux-v6.6/arch/x86/kvm/ |
D | emulate.c | 2215 ((u32) (old >> 32) != (u32) reg_read(ctxt, VCPU_REGS_RDX))) { in em_cmpxchg8b() 2217 *reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32); in em_cmpxchg8b() 2531 rdx = reg_read(ctxt, VCPU_REGS_RDX); in em_sysexit() 2671 tss->dx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss16() 2695 *reg_write(ctxt, VCPU_REGS_RDX) = tss->dx; in load_state_from_tss16() 2784 tss->edx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss32() 2813 *reg_write(ctxt, VCPU_REGS_RDX) = tss->edx; in load_state_from_tss32() 3220 ctxt->dst.addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX); in em_cwd() 3244 *reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32; in em_rdtsc() 3255 *reg_write(ctxt, VCPU_REGS_RDX) = pmc >> 32; in em_rdpmc() [all …]
|
/Linux-v6.6/arch/x86/kvm/svm/ |
D | sev.c | 592 save->rdx = svm->vcpu.arch.regs[VCPU_REGS_RDX]; in sev_es_sync_vmsa() 2413 ghcb_set_rdx(ghcb, vcpu->arch.regs[VCPU_REGS_RDX]); in sev_es_sync_to_ghcb() 2443 vcpu->arch.regs[VCPU_REGS_RDX] = kvm_ghcb_get_rdx_if_valid(svm, ghcb); in sev_es_sync_from_ghcb() 2797 cpuid_value = vcpu->arch.regs[VCPU_REGS_RDX]; in sev_handle_vmgexit_msr_protocol()
|
/Linux-v6.6/arch/x86/include/asm/ |
D | kvm_host.h | 161 VCPU_REGS_RDX = __VCPU_REGS_RDX, enumerator
|