#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