#include <sys/acpi.h>
#include <arch/amd64/hal/ioapic.h>

#include <arch/amd64/hal/apic.h>

#include <drivers/pmt.h>
#include <arch/amd64/hal/timer.h>

#include <kprint.h>
#include <neobbo.h>

/* Determines which timer will be used for calibration */
int calibration_timer = -1;

void timer_init(void){
    if(pmt_init() == -1){
        klog(__func__, "PMT Timer not found, falling back");
        /* Fall back to HPET */
    }else{
        calibration_timer = PMT;
    }
}