-/**
- * Compare two timers.
- */
-static int ir_timer_cmp(const void *a, const void *b, size_t size)
-{
- const ir_timer_t *t1 = a;
- const ir_timer_t *t2 = b;
- (void) size;
- return strcmp(t1->name, t2->name);
-}
-
-/** The set containing all currently registered timers. */
-static set *timers = NULL;
-