timer.h (109B)
1 #ifndef _KERNEL_TIMER_H_ 2 #define _KERNEL_TIMER_H_ 3 4 void timer_init(uint32_t); 5 6 #endif /* _KERNEL_TIMER_H_ */