ioapic_init_intr
ioapic_init_intr(IOAPIC_MASK);
extern void ioapic_init_intr();
ioapic_init_intr(IOAPIC_NOMASK);