#ifndef INTR_PIT_H_
#define INTR_PIT_H_

#include <stdint.h>

extern volatile uint32_t PIT_TICKS;

void intr_pit_init(void);
void intr_pit_wait(uint32_t ms);

#endif // INTR_PIT_H_