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.