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 3cc6a5200ed5c174df3efad1870dab86c9c73d13)
@@ -54,4 +54,5 @@
 
 extern indev_t *i8042_init(i8042_t *, inr_t);
+extern void i8042_cpu_reset(i8042_t *);
 
 #endif