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

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.c50 #define TIMER_PERIODIC_MAX (((1ULL << 32) / 66UL) * 1000UL) macro
63 #define TIMER_PERIODIC_MAX 178956970666 // ((((1UL << 32) / 24UL) * 1000UL) - 1) macro
71 #define TIMER_PERIODIC_MAX 54925000 macro
310 error = timer_periodic(s->timerDev, TIMER_PERIODIC_MAX);
317 s->timerIRQPeriod = TIMER_PERIODIC_MAX;
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.c50 #define TIMER_PERIODIC_MAX (((1ULL << 32) / 66UL) * 1000UL) macro
63 #define TIMER_PERIODIC_MAX 178956970666 // ((((1UL << 32) / 24UL) * 1000UL) - 1) macro
71 #define TIMER_PERIODIC_MAX 54925000 macro
310 error = timer_periodic(s->timerDev, TIMER_PERIODIC_MAX);
317 s->timerIRQPeriod = TIMER_PERIODIC_MAX;

Completed in 76 milliseconds