Searched refs:clock_tick_rate (Results 1 – 1 of 1) sorted by relevance
71 const unsigned clock_tick_rate = 1193180; in l4_tsc_init() local73 const unsigned calibrate_latch = clock_tick_rate / 20; /* 20Hz = 50ms */ in l4_tsc_init()
Completed in 4 milliseconds