Index: genarch/include/i8042/i8042.h
===================================================================
--- genarch/include/i8042/i8042.h	(revision 30ab05f98f83ae1ab1343640f708588baaa9fe49)
+++ genarch/include/i8042/i8042.h	(revision 41d33aca6323fda79c1a11fc827a1a73ba58c85f)
@@ -47,4 +47,6 @@
 extern void i8042_init(void);
 extern void i8042_poll(void);
+extern void i8042_grab(void);
+extern void i8042_release(void);
 
 #endif