Searched refs:tsc (Results 1 – 7 of 7) sorted by relevance
223 uint64_t tsc; in console_vmexit_callback() local226 tsc = cpu_ticks(); in console_vmexit_callback()227 if (tsc - prev_tsc > (TICKS_PER_MS * CONSOLE_KICK_TIMER_TIMEOUT)) { in console_vmexit_callback()229 prev_tsc = tsc; in console_vmexit_callback()
19 uint64_t tsc; /* TSC */ member55 entry->tsc = cpu_ticks(); in trace_put()
342 pkt_header.tsc = cpu_ticks(); in profiling_generate_data()409 pkt_header.tsc = cpu_ticks(); in profiling_generate_data()
93 uint64_t tsc; in hyperv_scale_tsc() local95 tsc = rdtsc() + exec_vmread64(VMX_TSC_OFFSET_FULL); in hyperv_scale_tsc()97 return u64_mul_u64_shr64(tsc, scale); in hyperv_scale_tsc()
77 uint64_t tsc = timer->timeout; in local_add_timer() local82 if (tmp->timeout < tsc) { in local_add_timer()
227 uint64_t tsc; member
220 HW_C_SRCS += arch/x86/tsc.c
Completed in 13 milliseconds