Searched refs:systime_frequency (Results 1 - 14 of 14) sorted by relevance

/barrelfish-2018-10-04/kernel/
H A Dsystime.c19 systime_t systime_frequency = 1; variable
31 return q * systime_frequency + (r * systime_frequency + 500000000) / 1000000000;
39 q = time / systime_frequency;
40 r = time % systime_frequency;
43 return q * 1000000000 + (r * 1000000000 + systime_frequency / 2) / systime_frequency;
H A Dsyscall.c182 disp->systime_frequency = systime_frequency;
/barrelfish-2018-10-04/lib/barrelfish/
H A Dsystime.c18 systime_t systime_frequency = 1; variable
29 return q * systime_frequency + (r * systime_frequency + 500000000) / 1000000000;
41 return q * systime_frequency + (r * systime_frequency + 500000) / 1000000;
49 q = time / systime_frequency;
50 r = time % systime_frequency;
53 return q * 1000000000 + (r * 1000000000 + systime_frequency / 2) / systime_frequency;
61 q = time / systime_frequency;
[all...]
H A Ddispatch.c178 systime_frequency = disp->systime_frequency;
/barrelfish-2018-10-04/kernel/include/
H A Dsystime.h21 extern systime_t systime_frequency;
/barrelfish-2018-10-04/kernel/include/arch/x86/
H A Dglobal.h32 systime_t systime_frequency; member in struct:global
/barrelfish-2018-10-04/include/barrelfish/
H A Dsystime.h25 extern systime_t systime_frequency;
/barrelfish-2018-10-04/kernel/arch/x86/
H A Dtiming.c304 tscperms = calibrate_tsc_apic_timer(&systime_frequency);
305 systime_frequency = tscperms * 1000;
307 // apic_frequency = calibrate_apic_timer_pit(&systime_frequency);
308 apic_frequency = calibrate_apic_timer_rtc(&systime_frequency);
311 global->systime_frequency = systime_frequency;
314 systime_frequency = global->systime_frequency;
316 tscperms = systime_frequency / 1000;
317 apic_systime_frequency_ratio = ((uint64_t)apic_frequency << 32) / systime_frequency;
[all...]
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dplat_a15mpcore.c76 systime_frequency = a15_gt_frequency();
81 MSG("System counter frequency is %uHz.\n", systime_frequency);
H A Dplat_a9mpcore.c102 systime_frequency = tsc_hz;
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dtimers.c57 /* systime_frequency is ticks per milisecond, while timer_get_frequency is in HZ */
58 systime_frequency = timer_get_frequency() / 1000;
105 uint32_t val = ms * systime_frequency;
/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Ddispatcher_shared.h58 uint64_t systime_frequency; ///< Systime frequency member in struct:dispatcher_shared_generic
/barrelfish-2018-10-04/kernel/arch/k1om/
H A Dstartup_arch.c421 init_disp->systime_frequency = systime_frequency;
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dstartup_arch.c404 init_disp->systime_frequency = systime_frequency;

Completed in 76 milliseconds