Index: kernel/arch/ppc32/include/drivers/cuda.h
===================================================================
--- kernel/arch/ppc32/include/drivers/cuda.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
+++ kernel/arch/ppc32/include/drivers/cuda.h	(revision 7688b5d81bb7cda5ecfe3b596ada34a7472b02f2)
@@ -39,7 +39,5 @@
 #include <typedefs.h>
 
-#define CUDA_IRQ 10
-
-extern void cuda_init(uintptr_t base, size_t size);
+extern void cuda_init(devno_t devno, uintptr_t base, size_t size);
 extern int cuda_get_scancode(void);
 extern void cuda_grab(void);