Name

handle_bad_irq — handle spurious and unhandled irqs