Home
last modified time | relevance | path

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

/l4re-core-master/l4util/lib/src/ARCH-x86/
A Drdtsc.c19 l4_uint32_t l4_scaler_ns_to_tsc; variable
58 l4_scaler_ns_to_tsc = muldiv(1U<<27, kip->frequency_cpu, 1000000); in l4_tsc_init()
118 l4_scaler_ns_to_tsc = muldiv(((1ULL<<32)/1000ULL), (l4_uint32_t)tsc_end, in l4_tsc_init()
/l4re-core-master/l4util/include/ARCH-x86/
A Drdtsc.h47 extern l4_uint32_t l4_scaler_ns_to_tsc;
339 "g" (l4_scaler_ns_to_tsc) in l4_ns_to_tsc()
/l4re-core-master/l4util/include/ARCH-amd64/
A Drdtsc.h45 extern l4_uint32_t l4_scaler_ns_to_tsc;
313 :"a" (ns), "r" ((l4_uint64_t)l4_scaler_ns_to_tsc) in l4_ns_to_tsc()

Completed in 4 milliseconds