#ifndef SYSTICK_H
#define SYSTICK_H

#include <stdint.h>

#define SYSTICK_ONE_MILLISECOND ((uint32_t)FUNCONF_SYSTEM_CORE_CLOCK / 1000)
#define millis() (systick_millis)

void systick_init(void);

// ms counter incremented by SysTick
extern volatile uint32_t systick_millis;

#endif  // SYSTICK_H