Home
last modified time | relevance | path

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

/arch/x86/kvm/
Dkvm_cache_regs.h84 | ((u64)(kvm_register_read(vcpu, VCPU_REGS_RDX) & -1u) << 32); in kvm_read_edx_eax()
Demulate.c2084 ((u32) (old >> 32) != (u32) reg_read(ctxt, VCPU_REGS_RDX))) { in em_cmpxchg8b()
2086 *reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32); in em_cmpxchg8b()
2406 rdx = reg_read(ctxt, VCPU_REGS_RDX); in em_sysexit()
2508 tss->dx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss16()
2532 *reg_write(ctxt, VCPU_REGS_RDX) = tss->dx; in load_state_from_tss16()
2631 tss->edx = reg_read(ctxt, VCPU_REGS_RDX); in save_state_to_tss32()
2660 *reg_write(ctxt, VCPU_REGS_RDX) = tss->edx; in load_state_from_tss32()
3076 ctxt->dst.addr.reg = reg_rmw(ctxt, VCPU_REGS_RDX); in em_cwd()
3088 *reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32; in em_rdtsc()
3099 *reg_write(ctxt, VCPU_REGS_RDX) = pmc >> 32; in em_rdpmc()
[all …]
Dcpuid.c813 kvm_register_write(vcpu, VCPU_REGS_RDX, edx); in kvm_emulate_cpuid()
Dx86.c897 kvm_register_write(vcpu, VCPU_REGS_RDX, data >> 32); in kvm_rdpmc()
5856 param = ((u64)kvm_register_read(vcpu, VCPU_REGS_RDX) << 32) | in kvm_hv_hypercall()
5866 ingpa = kvm_register_read(vcpu, VCPU_REGS_RDX); in kvm_hv_hypercall()
5891 kvm_register_write(vcpu, VCPU_REGS_RDX, ret >> 32); in kvm_hv_hypercall()
5926 a2 = kvm_register_read(vcpu, VCPU_REGS_RDX); in kvm_emulate_hypercall()
6600 regs->rdx = kvm_register_read(vcpu, VCPU_REGS_RDX); in kvm_arch_vcpu_ioctl_get_regs()
6630 kvm_register_write(vcpu, VCPU_REGS_RDX, regs->rdx); in kvm_arch_vcpu_ioctl_set_regs()
Dsvm.c1208 kvm_register_write(vcpu, VCPU_REGS_RDX, eax); in svm_vcpu_reset()
3153 svm->vcpu.arch.regs[VCPU_REGS_RDX] = data >> 32; in rdmsr_interception()
3265 | ((u64)(svm->vcpu.arch.regs[VCPU_REGS_RDX] & -1u) << 32); in wrmsr_interception()
3974 [rdx]"i"(offsetof(struct vcpu_svm, vcpu.arch.regs[VCPU_REGS_RDX])), in svm_vcpu_run()
Dvmx.c4538 vmx->vcpu.arch.regs[VCPU_REGS_RDX] = get_rdx_init_val(); in vmx_vcpu_reset()
5305 vcpu->arch.regs[VCPU_REGS_RDX] = (data >> 32) & -1u; in handle_rdmsr()
5315 | ((u64)(vcpu->arch.regs[VCPU_REGS_RDX] & -1u) << 32); in handle_wrmsr()
7701 [rdx]"i"(offsetof(struct vcpu_vmx, vcpu.arch.regs[VCPU_REGS_RDX])), in vmx_vcpu_run()
/arch/x86/include/asm/
Dkvm_host.h105 VCPU_REGS_RDX = 2, enumerator