Lines Matching refs:VCPU_REGS_RDX
2209 ((u32) (old >> 32) != (u32) reg_read(ctxt, VCPU_REGS_RDX))) { in em_cmpxchg8b()
2211 *reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32); in em_cmpxchg8b()
2525 rdx = reg_read(ctxt, VCPU_REGS_RDX); in em_sysexit()
2665 tss->dx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss16()
2689 *reg_write(ctxt, VCPU_REGS_RDX) = tss->dx; in load_state_from_tss16()
2778 tss->edx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss32()
2807 *reg_write(ctxt, VCPU_REGS_RDX) = tss->edx; in load_state_from_tss32()
3214 ctxt->dst.addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX); in em_cwd()
3238 *reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32; in em_rdtsc()
3249 *reg_write(ctxt, VCPU_REGS_RDX) = pmc >> 32; in em_rdpmc()
3341 | ((u64)reg_read(ctxt, VCPU_REGS_RDX) << 32); in em_wrmsr()
3363 *reg_write(ctxt, VCPU_REGS_RDX) = msr_data >> 32; in em_rdmsr()
3632 *reg_write(ctxt, VCPU_REGS_RDX) = edx; in em_cpuid()
3831 edx = reg_read(ctxt, VCPU_REGS_RDX); in em_xsetbv()
4633 op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX); in decode_operand()
4649 op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX); in decode_operand()