#include "types.h"

u32 timer_ticks;
// 60hz timer for now
#define PIT_TIMER_INTERVAL 100
#define PIT_TIME_DATA0 0x40
#define PIT_TIME_DATA1 0x41
#define PIT_TIME_DATA2 0x42

// Sets the tick rate 100hz
void tick_width(u32);

void inc_ticks(struct cpu_reg_state* cpu);