Searched refs:l4_scaler_tsc_to_us (Results 1 – 5 of 5) sorted by relevance
11 l4_uint32_t l4_scaler_tsc_to_us; variable20 l4_scaler_tsc_to_us = (kip->frequency_cpu) / 1000; in l4_tsc_init()
32 extern l4_uint32_t l4_scaler_tsc_to_us;158 return tsc / l4_scaler_tsc_to_us; in l4_tsc_to_us()
18 l4_uint32_t l4_scaler_tsc_to_us; variable123 l4_scaler_tsc_to_us = l4_scaler_tsc_linux; in l4_tsc_init()
46 extern l4_uint32_t l4_scaler_tsc_to_us;293 "g" (l4_scaler_tsc_to_us) in l4_tsc_to_us()
44 extern l4_uint32_t l4_scaler_tsc_to_us;284 :"a" (tsc), "r" ((l4_uint64_t)l4_scaler_tsc_to_us) in l4_tsc_to_us()
Completed in 7 milliseconds