#include <asm/port_io.h>
#include <kernel/hw/timer.h>

static time_t _current_ticks = 0;

void init_pit(void)
{
    // set interval
    asm_outb(PORT_PIT_CONTROL, 0x34);

    // send interval number
    // 0x2e9c = 11932 = 100Hz
    asm_outb(PORT_PIT_COUNT, 0x9c);
    asm_outb(PORT_PIT_COUNT, 0x2e);
}

void inc_tick(void)
{
    ++_current_ticks;
}

time_t current_ticks(void)
{
    return _current_ticks;
}