APIC_TIME_COUNT
target_pit_tick = pit_tick - APIC_TIME_COUNT;
pit_ticks = APIC_TIME_COUNT + pit_ticks_adj;
tsc_amt = tsc_hz * APIC_TIME_COUNT / MICROSEC;