LAPIC_LVT_LINT1
APIC_LVT_PRINT(ci, "lint", 1, LAPIC_LVT_LINT1);
APIC_VECTYPE_LAPIC_LVT, 0, lapic_readreg(LAPIC_LVT_LINT1));
lapic_writereg(LAPIC_LVT_LINT1, lint1);
lapic_writereg(LAPIC_LVT_LINT1, mpi->redir);