Index: kernel/arch/ppc32/include/drivers/cuda.h
===================================================================
--- kernel/arch/ppc32/include/drivers/cuda.h	(revision 5e9de3a908361d9d6a5025f7ae74649dd082783f)
+++ kernel/arch/ppc32/include/drivers/cuda.h	(revision db90860fdc1d47aaec8d1e18be364a1835f99b85)
@@ -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);