Index: arch/mips32/src/drivers/arc.c
===================================================================
--- arch/mips32/src/drivers/arc.c	(revision daea4bffe5fcea5b75978c2759f6b93a3fd61958)
+++ arch/mips32/src/drivers/arc.c	(revision 06e680501895bfcce735e01900dd2a039317c2cc)
@@ -350,8 +350,8 @@
 iroutine old_timer;
 /** Do polling on timer interrupt */
-static void timer_replace(int n, void *stack)
+static void timer_replace(int n, istate_t *istate)
 {
 	arc_keyboard_poll();
-	old_timer(n, stack);
+	old_timer(n, istate);
 	arc_keyboard_poll();
 }
Index: arch/mips32/src/drivers/msim.c
===================================================================
--- arch/mips32/src/drivers/msim.c	(revision daea4bffe5fcea5b75978c2759f6b93a3fd61958)
+++ arch/mips32/src/drivers/msim.c	(revision 06e680501895bfcce735e01900dd2a039317c2cc)
@@ -84,5 +84,5 @@
 
 /** Process keyboard interrupt. */
-static void msim_interrupt(int n, void *stack)
+static void msim_interrupt(int n, istate_t *istate)
 {
 	char ch = 0;
Index: arch/mips32/src/drivers/serial.c
===================================================================
--- arch/mips32/src/drivers/serial.c	(revision daea4bffe5fcea5b75978c2759f6b93a3fd61958)
+++ arch/mips32/src/drivers/serial.c	(revision 06e680501895bfcce735e01900dd2a039317c2cc)
@@ -113,8 +113,8 @@
 iroutine old_timer;
 /** Do polling on timer interrupt */
-static void timer_replace(int n, void *stack)
+static void timer_replace(int n, istate_t *istate)
 {
-	old_timer(n, stack);
-	serial_interrupt(n, stack);
+	old_timer(n, istate);
+	serial_interrupt(n, istate);
 }