Searched refs:Platform_nanosecondsPerMachTick (Results 1 – 1 of 1) sorted by relevance
125 static double Platform_nanosecondsPerMachTick = 1.0; variable130 Platform_nanosecondsPerMachTick = Platform_calculateNanosecondsPerMachTick(); in Platform_init()149 return (uint64_t) ((double) mach_ticks * Platform_nanosecondsPerMachTick); in Platform_machTicksToNanoseconds()