#ifndef __TIMEBASE_H__
#define __TIMEBASE_H__

#include <stdint.h>


uint32_t get_tick(void);
void delay_s(uint32_t delay);
void delay_ms(uint32_t delay);

void timebase_init(void);

#endif /* __TIMEBASE_H__ */