APIC_SPURIOUS_INT
value |= APIC_SVR_FEN | APIC_SVR_SWEN | APIC_SPURIOUS_INT;
setidt(APIC_SPURIOUS_INT, IDTVEC(spuriousint), SDT_APIC, SEL_KPL,
CTASSERT(IPI_STOP < APIC_SPURIOUS_INT);