Home
last modified time | relevance | path

Searched refs:startTSC (Results 1 – 2 of 2) sorted by relevance

/sys/dev/x86/
Drtc.c25 uint64_t startTSC, stopTSC; in RTC_Init() local
37 startTSC = 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()
/sys/kern/
Dspinlock.c77 uint64_t startTSC; in Spinlock_Lock() local
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()