Searched defs:tsc_base (Results 1 – 3 of 3) sorted by relevance
573 uint64_t tsc_base = rdtsc(); in lwkt_switch() local843 uint64_t tsc_base = rdtsc(); in lwkt_switch_return() local1388 uint64_t tsc_base = rdtsc(); in lwkt_acquire() local
234 uint64_t tsc_base = rdtsc(); in lwkt_send_ipiq3() local
945 tsc_uclock_t tsc_base = rdtsc(); in smp_invltlb() local1176 tsc_uclock_t tsc_base = rdtsc(); in smp_inval_intr() local