HelenOS sources

send_call         548 kernel/generic/src/ipc/irq.c 		send_call(irq, call);
send_call         585 kernel/generic/src/ipc/irq.c 		send_call(irq, call);