L4Re Operating System Framework
Interface and Usage Documentation
|
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. | |
|
inline |
Returns the CPU capabilities if the "cpuid" instruction is available.
Definition at line 97 of file cpu.h.
References l4util_cpu_capabilities_nocheck(), and l4util_cpu_has_cpuid().
|
inline |
Returns the CPU capabilities.
Definition at line 86 of file cpu.h.
References l4util_cpu_cpuid().
Referenced by l4util_cpu_capabilities().
|
inline |
Check whether the CPU supports the "cpuid" instruction.
Definition at line 66 of file cpu.h.
Referenced by l4util_cpu_capabilities().