Searched refs:l4_scaler_tsc_to_ns (Results 1 – 3 of 3) sorted by relevance
17 l4_uint32_t l4_scaler_tsc_to_ns; variable122 l4_scaler_tsc_to_ns = muldiv(l4_scaler_tsc_linux, 1000, 1<<5); in l4_tsc_init()139 if (!l4_scaler_tsc_to_ns) in l4_get_hz()
45 extern l4_uint32_t l4_scaler_tsc_to_ns;271 "g" (l4_scaler_tsc_to_ns) in l4_tsc_to_ns()316 : "A" (tsc), "g" (l4_scaler_tsc_to_ns) in l4_tsc_to_s_and_ns()
43 extern l4_uint32_t l4_scaler_tsc_to_ns;270 :"a" (tsc), "r" ((l4_uint64_t)l4_scaler_tsc_to_ns) in l4_tsc_to_ns()299 : "a" (tsc), "r" ((l4_uint64_t)l4_scaler_tsc_to_ns), in l4_tsc_to_s_and_ns()
Completed in 4 milliseconds