Lines Matching defs:edx
374 FOP2E(op##l, eax, edx) \
383 FOP2E(op##l, eax, edx) \
401 FOP2E(op##l, edx, eax) \
415 FOP3E(op##l, eax, edx, cl) \
2359 u32 eax, ebx, ecx, edx;
2362 ctxt->ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx, true);
2363 return is_guest_vendor_intel(ebx, ecx, edx);
2369 u32 eax, ebx, ecx, edx;
2380 ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx, true);
2387 if (is_guest_vendor_intel(ebx, ecx, edx))
2390 if (is_guest_vendor_amd(ebx, ecx, edx) ||
2391 is_guest_vendor_hygon(ebx, ecx, edx))
2787 tss->edx = reg_read(ctxt, VCPU_REGS_RDX);
2816 *reg_write(ctxt, VCPU_REGS_RDX) = tss->edx;
3628 u32 eax, ebx, ecx, edx;
3639 ctxt->ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx, false);
3643 *reg_write(ctxt, VCPU_REGS_RDX) = edx;
3836 u32 eax, ecx, edx;
3842 edx = reg_read(ctxt, VCPU_REGS_RDX);
3845 if (ctxt->ops->set_xcr(ctxt, ecx, ((u64)edx << 32) | eax))