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) \
2356 u32 eax, ebx, ecx, edx;
2359 ctxt->ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx, true);
2360 return is_guest_vendor_intel(ebx, ecx, edx);
2366 u32 eax, ebx, ecx, edx;
2377 ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx, true);
2384 if (is_guest_vendor_intel(ebx, ecx, edx))
2387 if (is_guest_vendor_amd(ebx, ecx, edx) ||
2388 is_guest_vendor_hygon(ebx, ecx, edx))
2784 tss->edx = reg_read(ctxt, VCPU_REGS_RDX);
2813 *reg_write(ctxt, VCPU_REGS_RDX) = tss->edx;
3623 u32 eax, ebx, ecx, edx;
3634 ctxt->ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx, false);
3638 *reg_write(ctxt, VCPU_REGS_RDX) = edx;
3831 u32 eax, ecx, edx;
3837 edx = reg_read(ctxt, VCPU_REGS_RDX);
3840 if (ctxt->ops->set_xcr(ctxt, ecx, ((u64)edx << 32) | eax))