| 2084 | } |
| 2085 | |
| 2086 | uint64_t |
| 2087 | cpu_tickrate(void) |
| 2088 | { |
| 2089 | |
| 2090 | if (cpu_ticks == tc_cpu_ticks) |
| 2091 | return (tc_getfrequency()); |
| 2092 | return (cpu_tick_frequency); |
| 2093 | } |
| 2094 | |
| 2095 | /* |
| 2096 | * We need to be slightly careful converting cputicks to microseconds. |
no test coverage detected