Index: kernel/arch/ppc32/include/drivers/cuda.h
===================================================================
--- kernel/arch/ppc32/include/drivers/cuda.h	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
+++ kernel/arch/ppc32/include/drivers/cuda.h	(revision 5b0ae4be433e6e0f6a10edce86935785f9423e0d)
@@ -41,6 +41,4 @@
 extern void cuda_init(devno_t devno, uintptr_t base, size_t size);
 extern int cuda_get_scancode(void);
-extern void cuda_grab(void);
-extern void cuda_release(void);
 
 #endif