Searched refs:timeout_ticks (Results 1 - 2 of 2) sorted by last modified time

/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/
H A Dsystem_timer.c64 uint64_t timeout_ticks = ns / SYSTEM_TIMER_NS_PER_TICK; local
65 if (timeout_ticks < ticks) {
68 } else if ((timeout_ticks - ticks) > UINT32_MAX) {
76 uint32_t timeout = timeout_ticks & MASK(32);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dsystem_timer.c64 uint64_t timeout_ticks = ns / SYSTEM_TIMER_NS_PER_TICK; local
65 if (timeout_ticks < ticks) {
68 } else if ((timeout_ticks - ticks) > UINT32_MAX) {
76 uint32_t timeout = timeout_ticks & MASK(32);

Completed in 35 milliseconds