Searched refs:cpuid_g_max_input_extended (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/lib/cpuid/
H A Dcpuid_generic.c22 uint32_t cpuid_g_max_input_extended = 0; variable
53 cpuid_g_max_input_extended = cpuid_fn.proc_max_input_extended();
57 cpuid_g_max_input_extended);
170 cpuid_g_max_input_extended = cpuid_fn.proc_max_input_extended();
172 return cpuid_g_max_input_extended;
H A Dcpuid_amd.c59 if (cpuid_g_max_input_extended < 4) {
147 if (CPUID_EXTENDED_INPUT_MASK(cpuid_g_max_input_extended) < 0x6) {
149 cpuid_g_max_input_extended);
230 if (CPUID_EXTENDED_INPUT_MASK(cpuid_g_max_input_extended) < 0x1d) {
306 if (CPUID_EXTENDED_INPUT_MASK(cpuid_g_max_input_extended) < 0x5) {
336 if (CPUID_EXTENDED_INPUT_MASK(cpuid_g_max_input_extended) < 0x6) {
346 if (CPUID_EXTENDED_INPUT_MASK(cpuid_g_max_input_extended) < 0x19) {
411 if (CPUID_EXTENDED_INPUT_MASK(cpuid_g_max_input_extended) < 8) {
461 if (CPUID_EXTENDED_INPUT_MASK(cpuid_g_max_input_extended) < 0x8) {
H A Dcpuid_internal.h58 extern uint32_t cpuid_g_max_input_extended;
H A Dcpuid_intel.c25 if (cpuid_g_max_input_extended < 4) {
695 if (CPUID_EXTENDED_INPUT_MASK(cpuid_g_max_input_extended) < 0x1) {
713 if (CPUID_EXTENDED_INPUT_MASK(cpuid_g_max_input_extended) < 0x8) {

Completed in 42 milliseconds