timer_init
status_t timer_init(struct kernel_args *);
timer_init();
extern void timer_init(void);
timer_init(&sKernelArgs);