Searched refs:Time_GetTSC (Results 1 – 5 of 5) sorted by relevance
80 startTSC = Time_GetTSC(); in Spinlock_Lock()86 if ((Time_GetTSC() - startTSC) / ticksPerSecond > 1) { in Spinlock_Lock()91 lock->waitTime += Time_GetTSC() - startTSC; in Spinlock_Lock()98 lock->lockedTSC = Time_GetTSC(); in Spinlock_Lock()118 lock->lockTime += Time_GetTSC() - lock->lockedTSC; in Spinlock_Unlock()
186 tscDiff = Time_GetTSC() - ktimeLastTSC; in KTime_GetEpoch()200 tscDiff = Time_GetTSC() - ktimeLastTSC; in KTime_GetEpochNS()
13 Time_GetTSC() in Time_GetTSC() function21 kprintf("RDTSC: %lld\n", Time_GetTSC()); in Debug_ReadTSC()
37 startTSC = Time_GetTSC(); in RTC_Init()46 stopTSC = Time_GetTSC(); in RTC_Init()
5 uint64_t Time_GetTSC();