/**
 * @file system_tick.h
 * @brief 1 ms 系统节拍接口。
 */
#ifndef SYSTEM_TICK_H
#define SYSTEM_TICK_H

#include <stdint.h>

/** 初始化系统节拍定时器。 */
void SystemTick_Init(void);

/** 返回系统启动后经过的毫秒数。 */
uint32_t SystemTick_NowMs(void);

/** 在定时器中断服务程序中递增系统节拍。 */
void SystemTick_InterruptHandler(void);

#endif