__weak S32 os_tick_init (void) { /* Initialize SysTick timer as system tick timer. */ rt_systick_init(); return (-1); /* Return IRQ number of SysTick timer */ }
__weak int os_tick_init (void) { /* Initialize SysTick timer as system tick timer. */ rt_systick_init (); return (SYS_TICK_IRQn); /* Return IRQ number of SysTick timer */ }