Lines Matching defs:edx
390 FOP2E(op##l, eax, edx) \
399 FOP2E(op##l, eax, edx) \
417 FOP2E(op##l, edx, eax) \
431 FOP3E(op##l, eax, edx, cl) \
2781 u32 eax, ebx, ecx, edx;
2784 ctxt->ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx, true);
2785 return is_guest_vendor_intel(ebx, ecx, edx);
2791 u32 eax, ebx, ecx, edx;
2802 ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx, true);
2809 if (is_guest_vendor_intel(ebx, ecx, edx))
2812 if (is_guest_vendor_amd(ebx, ecx, edx) ||
2813 is_guest_vendor_hygon(ebx, ecx, edx))
3210 tss->edx = reg_read(ctxt, VCPU_REGS_RDX);
3239 *reg_write(ctxt, VCPU_REGS_RDX) = tss->edx;
4055 u32 eax, ebx, ecx, edx;
4066 ctxt->ops->get_cpuid(ctxt, &eax, &ebx, &ecx, &edx, false);
4070 *reg_write(ctxt, VCPU_REGS_RDX) = edx;
4263 u32 eax, ecx, edx;
4266 edx = reg_read(ctxt, VCPU_REGS_RDX);
4269 if (ctxt->ops->set_xcr(ctxt, ecx, ((u64)edx << 32) | eax))