Searched refs:time_base (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/
H A Dclock.c60 static uint64_t time_base; variable
110 time_base = mul64_32(tsc_base, tsc_mult);
121 * Update time_base (monotonic time) and tsc_base (TSC time).
126 time_base += mul64_32(tsc_delta, tsc_mult);
128 return time_base;
/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/
H A Dclock.c70 static bmk_time_t time_base; variable
240 * Update time_base (monotonic time) and tsc_base (TSC time).
244 time_base += mul64_32(tsc_delta, tsc_mult);
247 return time_base;
293 time_base = mul64_32(tsc_base, tsc_mult);

Completed in 41 milliseconds