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