Rev 1787 | Rev 2018 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1787 | Rev 1888 | ||
|---|---|---|---|
| Line 30... | Line 30... | ||
| 30 | * @{ |
30 | * @{ |
| 31 | */ |
31 | */ |
| 32 | /** @file |
32 | /** @file |
| 33 | */ |
33 | */ |
| 34 | 34 | ||
| 35 | #ifndef __amd64_CPUID_H__ |
35 | #ifndef KERN_amd64_CPUID_H_ |
| 36 | #define __amd64_CPUID_H__ |
36 | #define KERN_amd64_CPUID_H_ |
| 37 | 37 | ||
| 38 | #define AMD_CPUID_EXTENDED 0x80000001 |
38 | #define AMD_CPUID_EXTENDED 0x80000001 |
| 39 | #define AMD_EXT_NOEXECUTE 20 |
39 | #define AMD_EXT_NOEXECUTE 20 |
| 40 | 40 | ||
| 41 | #define INTEL_CPUID_STANDARD 0x1 |
41 | #define INTEL_CPUID_STANDARD 0x1 |
| Line 58... | Line 58... | ||
| 58 | extern void cpuid(uint32_t cmd, cpu_info_t *info); |
58 | extern void cpuid(uint32_t cmd, cpu_info_t *info); |
| 59 | 59 | ||
| 60 | 60 | ||
| 61 | extern uint64_t rdtsc(void); |
61 | extern uint64_t rdtsc(void); |
| 62 | 62 | ||
| 63 | #endif /* __ASM__ */ |
63 | #endif /* !def __ASM__ */ |
| 64 | #endif |
64 | #endif |
| 65 | 65 | ||
| 66 | /** @} |
66 | /** @} |
| 67 | */ |
67 | */ |