#include "pit.h" #include "types.h" #include "interrupts.h" #include "stlio.h" timer_ticks = 0; void inc_ticks(struct cpu_reg_state* cpu) { timer_ticks++; if(timer_ticks % 18 == 0) { printf("One second passed\n"); } } void tick_width(u32 width) { } void pit_install_timer(void) { init_irq_handler(0, inc_ticks); // timer interrupt request falls into int 0 }