cuda_irq_send 300 kernel/genarch/src/drivers/via-cuda/cuda.c static void cuda_irq_send(irq_t *irq) cuda_irq_send 408 uspace/drv/bus/adb/cuda_adb/cuda_adb.c static void cuda_irq_send(cuda_t *cuda)