Searched refs:rdtscll_sync (Results 1 – 1 of 1) sorted by relevance
43 static inline void rdtscll_sync(unsigned long *tsc) in rdtscll_sync() function178 rdtscll_sync(&t); in do_gettimeoffset_tsc()357 rdtscll_sync(&tsc); in timer_interrupt()652 rdtscll_sync(&vxtime.last_tsc); in time_init()