/* * Set up interrupt handler for hardware devices. */ void irq_install(void) { irq_remap(); irq_gates(); IRQ_RES; }
/* * Set up interrupt handler for hardware devices. */ void irq_install(void) { irq_remap(); irq_gates(); STI; }