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

/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.c49 #define TIMER_PERIODIC_MAX_SET false /* We don't explicitly set period for GPT. */ macro
61 #define TIMER_PERIODIC_MAX_SET true macro
70 #define TIMER_PERIODIC_MAX_SET true macro
308 #if TIMER_PERIODIC_MAX_SET
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.c49 #define TIMER_PERIODIC_MAX_SET false /* We don't explicitly set period for GPT. */ macro
61 #define TIMER_PERIODIC_MAX_SET true macro
70 #define TIMER_PERIODIC_MAX_SET true macro
308 #if TIMER_PERIODIC_MAX_SET

Completed in 24 milliseconds