Rev 1888 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1888 | Rev 2018 | ||
|---|---|---|---|
| Line 55... | Line 55... | ||
| 55 | 55 | ||
| 56 | extern int has_cpuid(void); |
56 | extern int has_cpuid(void); |
| 57 | 57 | ||
| 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 | - | ||
| 61 | extern uint64_t rdtsc(void); |
- | |
| 62 | - | ||
| 63 | #endif /* !def __ASM__ */ |
60 | #endif /* !def __ASM__ */ |
| 64 | #endif |
61 | #endif |
| 65 | 62 | ||
| 66 | /** @} |
63 | /** @} |
| 67 | */ |
64 | */ |