cuda_irq_receive 221 kernel/genarch/src/drivers/via-cuda/cuda.c static void cuda_irq_receive(irq_t *irq) cuda_irq_receive 330 uspace/drv/bus/adb/cuda_adb/cuda_adb.c static void cuda_irq_receive(cuda_t *cuda)