Searched refs:VCPU_REGS_RDX (Results 1 – 3 of 3) sorted by relevance
| /linux/arch/x86/kvm/ |
| H A D | emulate.c | 2212 ((u32) (old >> 32) != (u32) reg_read(ctxt, VCPU_REGS_RDX))) { in em_cmpxchg8b()
2214 *reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32); in em_cmpxchg8b()
2493 rdx = reg_read(ctxt, VCPU_REGS_RDX); in em_sysexit()
2640 tss->dx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss16()
2664 *reg_write(ctxt, VCPU_REGS_RDX) = tss->dx; in load_state_from_tss16()
2753 tss->edx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss32()
2782 *reg_write(ctxt, VCPU_REGS_RDX) = tss->edx; in load_state_from_tss32()
3189 ctxt->dst.addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX); in em_cwd()
3213 *reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32; in em_rdtsc()
3224 *reg_write(ctxt, VCPU_REGS_RDX) = pmc >> 32; in em_rdpmc()
[all …]
|
| /linux/arch/x86/include/asm/ |
| H A D | kvm_host.h | 178 VCPU_REGS_RDX = __VCPU_REGS_RDX, enumerator
|
| /linux/arch/x86/kvm/svm/ |
| H A D | svm.c | 3546 "rdx:", vcpu->arch.regs[VCPU_REGS_RDX]); in dump_vmcb()
|