#include <os_systick.h>

volatile os_tick_t g_os_systick_ticks;