#include "pit.h"
#include "types.h"
#include "interrupts.h"
#include "serial.h"
#include "stlio.h"

u32 timer_ticks = 0;

void inc_ticks(struct cpu_reg_state* cpu) {
    timer_ticks++;
    if(timer_ticks % 18 == 0) {
        printf("One second passed\n");
    }
}

void pit_install_timer(void) {
    init_irq_handler(0, inc_ticks); // timer interrupt request falls into int 0
}