src/include/part/init_timer.h

   1 #ifndef PART_INIT_TIMER_H
   2 #define PART_DELAY_H
   3
   4 #if CONFIG_HAVE_INIT_TIMER == 1
   5 void init_timer(void);
   6 #else
   7 #define init_timer() do{} while(0)
   8 #endif
   9
  10 #endif /* PART_INIT_TIMER_H */