Lines Matching refs:edx
237 DBG("cpuid_fn(0x%08x) eax:0x%08x ebx:0x%08x ecx:0x%08x edx:0x%08x\n",
488 bcopy((char *)®[edx], &info_p->cpuid_vendor[4], 4);
569 info_p->cpuid_features = quad(reg[ecx], reg[edx]);
589 quad(reg[ecx], reg[edx]);
613 reg[edx] & (uint32_t)CPUID_EXTFEATURE_TSCI;
628 cmp->sub_Cstates = reg[edx];
682 capp->fixed_number = bitfield32(reg[edx], 4, 0);
683 capp->fixed_width = bitfield32(reg[edx], 12, 5);
708 DBG(" EDX : 0x%x\n", xsp->extended_state[edx]);
1114 bcopy((char *)®[edx], &info_p->cpuid_vmm_vendor[8], 4);