Home
last modified time | relevance | path

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

/Linux-v5.4/arch/x86/kvm/
Demulate.c2243 ((u32) (old >> 32) != (u32) reg_read(ctxt, VCPU_REGS_RDX))) { in em_cmpxchg8b()
2245 *reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32); in em_cmpxchg8b()
2889 rdx = reg_read(ctxt, VCPU_REGS_RDX); in em_sysexit()
3028 tss->dx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss16()
3052 *reg_write(ctxt, VCPU_REGS_RDX) = tss->dx; in load_state_from_tss16()
3142 tss->edx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss32()
3171 *reg_write(ctxt, VCPU_REGS_RDX) = tss->edx; in load_state_from_tss32()
3580 ctxt->dst.addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX); in em_cwd()
3602 *reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32; in em_rdtsc()
3613 *reg_write(ctxt, VCPU_REGS_RDX) = pmc >> 32; in em_rdpmc()
[all …]
Dsvm.c5720 [rdx]"i"(offsetof(struct vcpu_svm, vcpu.arch.regs[VCPU_REGS_RDX])), in svm_vcpu_run()
/Linux-v5.4/arch/x86/include/asm/
Dkvm_host.h142 VCPU_REGS_RDX = __VCPU_REGS_RDX, enumerator
/Linux-v5.4/arch/x86/kvm/vmx/
Dvmx.c4282 vmx->vcpu.arch.regs[VCPU_REGS_RDX] = get_rdx_init_val(); in vmx_vcpu_reset()