Searched refs:stopTSC (Results 1 – 1 of 1) sorted by relevance
25 uint64_t startTSC, stopTSC; in RTC_Init() local46 stopTSC = Time_GetTSC(); in RTC_Init()48 kprintf("RTC: %lld Ticks Per Second: %lld\n", second, stopTSC - startTSC); in RTC_Init()50 KTime_SetTime(second, stopTSC, stopTSC - startTSC); in RTC_Init()