irq_hash_out 301 kernel/generic/src/ipc/irq.c irq_hash_out(irq); irq_hash_out 409 kernel/generic/src/ipc/irq.c irq_hash_out(kobj->irq);