Home
last modified time | relevance | path

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

/l4re-core-master/l4util/include/ARCH-x86/
A Drdtsc.h87 l4_tsc_to_ns (l4_cpu_time_t tsc);
94 l4_tsc_to_us (l4_cpu_time_t tsc);
102 l4_tsc_to_s_and_ns (l4_cpu_time_t tsc, l4_uint32_t *s, l4_uint32_t *ns);
253 l4_tsc_to_ns (l4_cpu_time_t tsc) in l4_tsc_to_ns() argument
270 :"0" (tsc), in l4_tsc_to_ns()
277 l4_tsc_to_us (l4_cpu_time_t tsc) in l4_tsc_to_us() argument
292 :"0" (tsc), in l4_tsc_to_us()
316 : "A" (tsc), "g" (l4_scaler_tsc_to_ns) in l4_tsc_to_s_and_ns()
324 l4_cpu_time_t tsc; in l4_ns_to_tsc() local
336 :"=A" (tsc), in l4_ns_to_tsc()
[all …]
/l4re-core-master/l4util/include/ARCH-amd64/
A Drdtsc.h85 l4_tsc_to_ns (l4_cpu_time_t tsc);
92 l4_tsc_to_us (l4_cpu_time_t tsc);
100 l4_tsc_to_s_and_ns (l4_cpu_time_t tsc, l4_uint32_t *s, l4_uint32_t *ns);
262 l4_tsc_to_ns (l4_cpu_time_t tsc) in l4_tsc_to_ns() argument
270 :"a" (tsc), "r" ((l4_uint64_t)l4_scaler_tsc_to_ns) in l4_tsc_to_ns()
276 l4_tsc_to_us (l4_cpu_time_t tsc) in l4_tsc_to_us() argument
284 :"a" (tsc), "r" ((l4_uint64_t)l4_scaler_tsc_to_us) in l4_tsc_to_us()
299 : "a" (tsc), "r" ((l4_uint64_t)l4_scaler_tsc_to_ns), in l4_tsc_to_s_and_ns()
307 l4_uint64_t tsc, dummy; in l4_ns_to_tsc() local
312 :"=a" (tsc), "=d" (dummy) in l4_ns_to_tsc()
[all …]
/l4re-core-master/uclibc/lib/contrib/uclibc/libpthread/nptl/
A Dpthread_clock_gettime.c29 hp_timing_t tsc; in __pthread_clock_gettime() local
32 HP_TIMING_NOW (tsc); in __pthread_clock_gettime()
40 tsc -= THREAD_GETMEM (THREAD_SELF, cpuclock_offset); in __pthread_clock_gettime()
55 tsc -= thread->cpuclock_offset; in __pthread_clock_gettime()
59 tp->tv_sec = tsc / freq; in __pthread_clock_gettime()
63 tp->tv_nsec = ((tsc % freq) * 1000000000ull) / freq; in __pthread_clock_gettime()
/l4re-core-master/uclibc/lib/contrib/uclibc/libpthread/linuxthreads/
A Dptclock_gettime.c29 hp_timing_t tsc, cpuclock_offset; in __pthread_clock_gettime() local
53 HP_TIMING_NOW (tsc); in __pthread_clock_gettime()
56 tsc -= cpuclock_offset; in __pthread_clock_gettime()
59 tp->tv_sec = tsc / freq; in __pthread_clock_gettime()
63 tp->tv_nsec = ((tsc % freq) * 1000000000ull) / freq; in __pthread_clock_gettime()
/l4re-core-master/uclibc/lib/contrib/uclibc/librt/
A Dclock_gettime.c206 hp_timing_t tsc; in hp_timing_gettime() local
225 HP_TIMING_NOW (tsc); in hp_timing_gettime()
228 tsc -= GL(dl_cpuclock_offset); in hp_timing_gettime()
231 tp->tv_sec = tsc / freq; in hp_timing_gettime()
235 tp->tv_nsec = ((tsc % freq) * UINT64_C (1000000000)) / freq; in hp_timing_gettime()
/l4re-core-master/l4util/include/ARCH-ppc32/
A Drdtsc.h65 l4_tsc_to_us (l4_cpu_time_t tsc);
156 l4_tsc_to_us (l4_cpu_time_t tsc) in l4_tsc_to_us() argument
158 return tsc / l4_scaler_tsc_to_us; in l4_tsc_to_us()

Completed in 10 milliseconds