LAPIC_LVT_LINT0
APIC_LVT_PRINT(ci, "lint", 0, LAPIC_LVT_LINT0);
APIC_VECTYPE_LAPIC_LVT, 0, lapic_readreg(LAPIC_LVT_LINT0));
lapic_writereg(LAPIC_LVT_LINT0, lint0);
lapic_writereg(LAPIC_LVT_LINT0, mpi->redir);