kernel/irq/manage.c