Index: kernel/arch/ppc32/include/drivers/cuda.h
===================================================================
--- kernel/arch/ppc32/include/drivers/cuda.h	(revision 7919cd502f95d0601ec48760744af644656dfb4f)
+++ kernel/arch/ppc32/include/drivers/cuda.h	(revision 8f29e336c375330f640455c1391b031eb988c7f7)
@@ -39,5 +39,5 @@
 #include <typedefs.h>
 
-extern void cuda_init(devno_t devno, uintptr_t base, size_t size);
+extern void cuda_init(uintptr_t base, size_t size);
 extern int cuda_get_scancode(void);