#ifndef UTIL_SYSTICK_H
#define UTIL_SYSTICK_H
#include <stdint.h>
void util_systick_init(void);
void util_systick_delay(uint64_t msec);
uint64_t util_systick_get(void);
#endif