Index: genarch/src/i8042/i8042.c
===================================================================
--- genarch/src/i8042/i8042.c	(revision a2a46ba180ede6fa62fc39caa28877a06ce899a4)
+++ genarch/src/i8042/i8042.c	(revision 631ca4d04a2284ebd54da4b84fc569fab1e212a4)
@@ -266,5 +266,5 @@
 };
 
-static void i8042_interrupt(int n, void *stack);
+static void i8042_interrupt(int n, istate_t *istate);
 static void i8042_wait(void);
 
@@ -272,5 +272,5 @@
 void i8042_init(void)
 {
-	exc_register(VECTOR_KBD, "i8042_interrupt", i8042_interrupt);
+	exc_register(VECTOR_KBD, "i8042_interrupt", (iroutine) i8042_interrupt);
 	i8042_wait();
 	i8042_command_write(i8042_SET_COMMAND);
@@ -289,5 +289,5 @@
  * @param stack Interrupted stack.
  */
-void i8042_interrupt(int n, void *stack)
+void i8042_interrupt(int n, istate_t *istate)
 {
 	__u8 x;