Home
last modified time | relevance | path

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

/l4re-core-master/l4util/lib/src/ARCH-x86/
A Drdtsc.c76 l4_uint64_t tsc_start, tsc_end; in l4_tsc_init() local
97 tsc_end = l4_rdtsc (); in l4_tsc_init()
107 tsc_end -= tsc_start; in l4_tsc_init()
110 if (tsc_end & 0xffffffff00000000LL) in l4_tsc_init()
114 if ((tsc_end & 0xffffffffL) <= calibrate_time) 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()
118 l4_scaler_ns_to_tsc = muldiv(((1ULL<<32)/1000ULL), (l4_uint32_t)tsc_end, in l4_tsc_init()

Completed in 3 milliseconds