HelenOS sources

ddisk_irq_handler   66 uspace/drv/block/ddisk/ddisk.c static void ddisk_irq_handler(ipc_call_t *, void *);
ddisk_irq_handler  519 uspace/drv/block/ddisk/ddisk.c 	    ddisk_irq_handler, (void *)ddisk, &ddisk_irq_code, &ddisk->irq_cap);