Index: kernel/genarch/include/drivers/i8042/i8042.h
===================================================================
--- kernel/genarch/include/drivers/i8042/i8042.h	(revision c8bf88d737f715dd3bf256ec6f8bf31e0d3be7e1)
+++ kernel/genarch/include/drivers/i8042/i8042.h	(revision 92fd52d7f8133beb8043e6bcd17498477fe735ea)
@@ -54,4 +54,5 @@
 
 extern indev_t *i8042_init(i8042_t *, inr_t);
+extern void i8042_cpu_reset(i8042_t *);
 
 #endif