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);
62 __asm__ __volatile__ (
"rep; nop");
73 unsigned long *eax,
unsigned long *ebx,
74 unsigned long *ecx,
unsigned long *edx)
88 unsigned long dummy, capability;
L4 compiler related defines.
#define L4_INLINE
L4 Inline function attribute.
#define EXTERN_C_BEGIN
Start section with C types and functions.
#define EXTERN_C_END
End section with C types and functions.
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.
int l4util_cpu_has_cpuid(void)
Check whether the CPU supports the "cpuid" instruction.