#ifndef HAL_PIT_H_
#define HAL_PIT_H_

#include <stdint.h>

extern volatile uint32_t PIT_TICKS;

void pit_init(void);
void pit_wait(uint32_t ms);

#endif // HAL_PIT_H_