Go to the source code of this file.
Functions | |
| int | l4util_cpu_has_cpuid (void) |
| Check whether the CPU supports the "cpuid" instruction. | |
| unsigned int | l4util_cpu_capabilities (void) |
| Returns the CPU capabilities if the "cpuid" instruction is available. | |
| unsigned int | l4util_cpu_capabilities_nocheck (void) |
| Returns the CPU capabilities. | |
| void | l4util_cpu_cpuid (unsigned long mode, unsigned long *eax, unsigned long *ebx, unsigned long *ecx, unsigned long *edx) |
| Generic CPUID access function. | |
| static void | l4util_cpu_pause (void) |
| int | l4util_cpu_has_cpuid (void) |
| Check whether the CPU supports the "cpuid" instruction. | |
| void | l4util_cpu_cpuid (unsigned long mode, unsigned long *eax, unsigned long *ebx, unsigned long *ecx, unsigned long *edx) |
| Generic CPUID access function. | |
| unsigned int | l4util_cpu_capabilities_nocheck (void) |
| Returns the CPU capabilities. | |
| unsigned int | l4util_cpu_capabilities (void) |
| Returns the CPU capabilities if the "cpuid" instruction is available. | |
Definition in file ARCH-x86/cpu.h.