HelenOS sources

cuda_irq_receive   49 kernel/genarch/src/drivers/via-cuda/cuda.c static void cuda_irq_receive(irq_t *irq);
cuda_irq_receive  174 kernel/genarch/src/drivers/via-cuda/cuda.c 		cuda_irq_receive(irq);
cuda_irq_receive   62 uspace/drv/bus/adb/cuda_adb/cuda_adb.c static void cuda_irq_receive(cuda_t *);
cuda_irq_receive  284 uspace/drv/bus/adb/cuda_adb/cuda_adb.c 		cuda_irq_receive(cuda);