Home
last modified time | relevance | path

Searched refs:cpuid_level (Results 1 – 3 of 3) sorted by relevance

/external/syslinux/gpxe/src/arch/i386/core/
Dcpu.c42 unsigned int cpuid_level; in get_cpuinfo() local
55 cpuid ( 0x00000000, &cpuid_level, &discard_1, in get_cpuinfo()
57 if ( cpuid_level >= 0x00000001 ) { in get_cpuinfo()
/external/syslinux/com32/gpllib/
Dcpuid.c290 if (c->cpuid_level != 2) { /* Media GX */ in detect_cyrix()
344 (uint32_t *) & c->cpuid_level, in generic_identify()
352 if (c->cpuid_level >= 0x00000001) { in generic_identify()
399 if (c->cpuid_level >= 0x00000004) { in generic_identify()
605 c.cpuid_level = -1; /* CPUID not detected */ in detect_cpu()
/external/syslinux/com32/gplinclude/
Dcpuid.h236 int cpuid_level; /* Maximum supported CPUID level, -1=no CPUID */ member