15 #ifndef __L4_UTIL_CPU_H 16 #define __L4_UTIL_CPU_H 55 unsigned long *eax,
unsigned long *ebx,
56 unsigned long *ecx,
unsigned long *edx);
60 l4util_cpu_pause(
void)
62 __asm__ __volatile__ (
"rep; nop");
73 unsigned long *eax,
unsigned long *ebx,
74 unsigned long *ecx,
unsigned long *edx)
85 L4_INLINE
unsigned int 88 unsigned long dummy, capability;
96 L4_INLINE
unsigned int void l4util_cpu_cpuid(unsigned long mode, unsigned long *eax, unsigned long *ebx, unsigned long *ecx, unsigned long *edx)
Generic CPUID access function.
#define EXTERN_C_END
End section with C types and functions.
unsigned int l4util_cpu_capabilities(void)
Returns the CPU capabilities if the "cpuid" instruction is available.
L4 compiler related defines.
#define EXTERN_C_BEGIN
Start section with C types and functions.
unsigned int l4util_cpu_capabilities_nocheck(void)
Returns the CPU capabilities.
int l4util_cpu_has_cpuid(void)
Check whether the CPU supports the "cpuid" instruction.