| 67 | MODULE_DEPEND(krping, linuxkpi, 1, 1, 1); |
| 68 | |
| 69 | static __inline uint64_t |
| 70 | get_cycles(void) |
| 71 | { |
| 72 | uint32_t low, high; |
| 73 | __asm __volatile("rdtsc" : "=a" (low), "=d" (high)); |
| 74 | return (low | ((u_int64_t)high << 32)); |
| 75 | } |
| 76 | |
| 77 | typedef uint64_t cycles_t; |
| 78 |