#include "apic_timer.h"

uint64_t apic_timer_ticksIn1ms = 0;