Rev 1731 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1731 | Rev 1780 | ||
|---|---|---|---|
| Line 45... | Line 45... | ||
| 45 | #ifndef __ASM__ |
45 | #ifndef __ASM__ |
| 46 | 46 | ||
| 47 | #include <arch/types.h> |
47 | #include <arch/types.h> |
| 48 | 48 | ||
| 49 | struct cpu_info { |
49 | struct cpu_info { |
| 50 | __u32 cpuid_eax; |
50 | uint32_t cpuid_eax; |
| 51 | __u32 cpuid_ebx; |
51 | uint32_t cpuid_ebx; |
| 52 | __u32 cpuid_ecx; |
52 | uint32_t cpuid_ecx; |
| 53 | __u32 cpuid_edx; |
53 | uint32_t cpuid_edx; |
| 54 | } __attribute__ ((packed)); |
54 | } __attribute__ ((packed)); |
| 55 | 55 | ||
| 56 | extern int has_cpuid(void); |
56 | extern int has_cpuid(void); |
| 57 | 57 | ||
| 58 | extern void cpuid(__u32 cmd, cpu_info_t *info); |
58 | extern void cpuid(uint32_t cmd, cpu_info_t *info); |
| 59 | 59 | ||
| 60 | 60 | ||
| 61 | extern __u64 rdtsc(void); |
61 | extern uint64_t rdtsc(void); |
| 62 | 62 | ||
| 63 | #endif /* __ASM__ */ |
63 | #endif /* __ASM__ */ |
| 64 | #endif |
64 | #endif |
| 65 | 65 | ||
| 66 | /** @} |
66 | /** @} |