LAPIC_OFF_TIMER_ICR
write_vlapic(LAPIC_OFF_TIMER_ICR, 0xffffffff);
write_vlapic(LAPIC_OFF_TIMER_ICR, LAPIC_TARGET_TICKS);