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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Ddelay.c37 ps_do_cycle_delay(int32_t cycles) function
73 ps_do_cycle_delay(CYCLES_PER_US);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/x86/
H A Ddelay.c26 ps_do_cycle_delay(uint64_t cycles) function
40 ps_do_cycle_delay((uint64_t)us * CYCLES_PER_US(cpufreq_hint));

Completed in 27 milliseconds