#ifndef SYSTICK_H
#define SYSTICK_H

#include <stdint.h>

void SysTickInit(void);
void SysTickWait(uint32_t delay);
void SysTickWait1us(uint32_t times);

#endif /* SYSTICK_H */