#ifndef __BSP_TICK_H
#define __BSP_TICK_H

#include "ch32v10x.h"

void bsp_tick_init(void);
uint64_t bsp_tick_get(void);

#endif