#ifndef _Sched_Timer_H__
#define _Sched_Timer_H__
#include "bsp/bsp.h"
#include "os/os_types.h"
#define SCHED_TIMER TIMER5
#define SCHED_TIMER_RCU RCU_TIMER5
#define SCHED_TIMER_IRQ TIMER5_IRQn
#define SCHED_TIMER_IRQHandler TIMER5_IRQHandler

void sched_timer_enable(u32 us);

#endif /* _Sched_Timer_H__ */