Searched refs:l4_scaler_tsc_linux (Results 1 – 3 of 3) sorted by relevance
20 l4_uint32_t l4_scaler_tsc_linux; variable43 l4_scaler_tsc_linux = 0; in l4_tsc_init()57 l4_scaler_tsc_linux = muldiv(1U<<30, 4000, kip->frequency_cpu); in l4_tsc_init()68 if ( (l4_scaler_tsc_linux == 0) in l4_tsc_init()117 l4_scaler_tsc_linux = muldiv(1U<<30, (1U<<2) * calibrate_time, (l4_uint32_t)tsc_end); in l4_tsc_init()122 l4_scaler_tsc_to_ns = muldiv(l4_scaler_tsc_linux, 1000, 1<<5); in l4_tsc_init()123 l4_scaler_tsc_to_us = l4_scaler_tsc_linux; in l4_tsc_init()125 return l4_scaler_tsc_linux; in l4_tsc_init()
48 extern l4_uint32_t l4_scaler_tsc_linux;
46 extern l4_uint32_t l4_scaler_tsc_linux;
Completed in 3 milliseconds