Searched refs:cpuid_ecx (Results 1 – 4 of 4) sorted by relevance
29 unsigned long ecx = cpuid_ecx(1); in cpu_has_vmx()
634 static inline unsigned int cpuid_ecx(unsigned int op) in cpuid_ecx() function
433 ecx = cpuid_ecx(0x80000008); in early_init_amd_mc()
634 c->x86_capability[6] = cpuid_ecx(0x80000001); in get_cpu_cap()