Home
last modified time | relevance | path

Searched refs:l4_scaler_tsc_linux (Results 1 – 3 of 3) sorted by relevance

/l4re-core-master/l4util/lib/src/ARCH-x86/
A Drdtsc.c20 l4_uint32_t l4_scaler_tsc_linux; variable
43 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()
/l4re-core-master/l4util/include/ARCH-x86/
A Drdtsc.h48 extern l4_uint32_t l4_scaler_tsc_linux;
/l4re-core-master/l4util/include/ARCH-amd64/
A Drdtsc.h46 extern l4_uint32_t l4_scaler_tsc_linux;

Completed in 3 milliseconds