Searched refs:prev_tsc (Results 1 – 1 of 1) sorted by relevance
222 static uint64_t prev_tsc = 0; in console_vmexit_callback() local227 if (tsc - prev_tsc > (TICKS_PER_MS * CONSOLE_KICK_TIMER_TIMEOUT)) { in console_vmexit_callback()229 prev_tsc = tsc; in console_vmexit_callback()
Completed in 5 milliseconds