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