LAPIC_LVINT0
lapic_readreg(LAPIC_LVINT0));
lint0 = lapic_readreg(LAPIC_LVINT0);
lapic_writereg(LAPIC_LVINT0, lint0);
lapic_writereg(LAPIC_LVINT0, mpi->redir);
lapic_readreg(LAPIC_LVINT0));
i82489_readreg(LAPIC_LVINT0));
i82489_writereg(LAPIC_LVINT0, mpi->redir);
i82489_readreg(LAPIC_LVINT0));