/branches/dynload/kernel/arch/ia32/include/cpuid.h |
---|
35,13 → 35,6 |
#ifndef KERN_ia32_CPUID_H_ |
#define KERN_ia32_CPUID_H_ |
#define INTEL_CPUID_LEVEL 0x00000000 |
#define INTEL_CPUID_STANDARD 0x00000001 |
#define INTEL_PSE 3 |
#define INTEL_SEP 11 |
#ifndef __ASM__ |
#include <arch/types.h> |
typedef struct { |
111,7 → 104,6 |
); |
} |
#endif /* !def __ASM__ */ |
#endif |
/** @} |