LAPIC_ICR_TIMER
lapic_writereg(LAPIC_ICR_TIMER, lapic_tval);
lapic_writereg(LAPIC_ICR_TIMER, 0x80000000);