Home
last modified time | relevance | path

Searched refs:l4_scaler_timer_to_tsc (Results 1 – 2 of 2) sorted by relevance

/l4re-core-master/l4util/include/ARCH-ppc32/
A Drdtsc.h33 extern l4_uint32_t l4_scaler_timer_to_tsc;
140 return tb * l4_scaler_timer_to_tsc; in l4_rdtsc()
152 return lower * l4_scaler_timer_to_tsc; in l4_rdtsc_32()
/l4re-core-master/l4util/lib/src/ARCH-ppc32/
A Drdtsc.c12 l4_uint32_t l4_scaler_timer_to_tsc; variable
18 l4_scaler_timer_to_tsc = (kip->frequency_cpu * 1000) in l4_tsc_init()

Completed in 2 milliseconds