Home
last modified time | relevance | path

Searched refs:VCPU_REGS_RDX (Results 1 – 5 of 5) sorted by relevance

/linux/arch/x86/kvm/
H A Demulate.c2199 ((u32) (old >> 32) != (u32) reg_read(ctxt, VCPU_REGS_RDX))) { in em_cmpxchg8b()
2201 *reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32); in em_cmpxchg8b()
2480 rdx = reg_read(ctxt, VCPU_REGS_RDX); in em_sysexit()
2627 tss->dx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss16()
2651 *reg_write(ctxt, VCPU_REGS_RDX) = tss->dx; in load_state_from_tss16()
2740 tss->edx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss32()
2769 *reg_write(ctxt, VCPU_REGS_RDX) = tss->edx; in load_state_from_tss32()
3176 ctxt->dst.addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX); in em_cwd()
3200 *reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32; in em_rdtsc()
3211 *reg_write(ctxt, VCPU_REGS_RDX) = pmc >> 32; in em_rdpmc()
[all …]
/linux/arch/x86/kvm/svm/
H A Dsev.c894 save->rdx = svm->vcpu.arch.regs[VCPU_REGS_RDX]; in sev_es_sync_vmsa()
3330 ghcb_set_rdx(ghcb, vcpu->arch.regs[VCPU_REGS_RDX]); in sev_es_sync_to_ghcb()
3360 vcpu->arch.regs[VCPU_REGS_RDX] = kvm_ghcb_get_rdx_if_valid(svm); in sev_es_sync_from_ghcb()
4255 cpuid_value = vcpu->arch.regs[VCPU_REGS_RDX]; in sev_handle_vmgexit_msr_protocol()
H A Dsvm.c3418 "rdx:", vcpu->arch.regs[VCPU_REGS_RDX]); in dump_vmcb()
/linux/arch/x86/include/asm/
H A Dkvm_host.h177 VCPU_REGS_RDX = __VCPU_REGS_RDX, enumerator
/linux/arch/x86/kvm/vmx/
H A Dtdx.c1025 BIT_ULL(VCPU_REGS_RDX) | \