Index: kernel/arch/mips32/src/drivers/arc.c
===================================================================
--- kernel/arch/mips32/src/drivers/arc.c	(revision 3dea17f5a2dc97de65bf1ff23eb43f3621665af4)
+++ kernel/arch/mips32/src/drivers/arc.c	(revision 3e35fd71b00303c0b9a3181c7922806e86f52ff0)
@@ -359,5 +359,5 @@
 	
 	chardev_initialize("arc_console", &console, &arc_ops);
-	timer_fnc = &arc_keyboard_poll;
+	virtual_timer_fnc = &arc_keyboard_poll;
 	stdin = &console;
 	stdout = &console;
Index: kernel/arch/mips32/src/drivers/serial.c
===================================================================
--- kernel/arch/mips32/src/drivers/serial.c	(revision 3dea17f5a2dc97de65bf1ff23eb43f3621665af4)
+++ kernel/arch/mips32/src/drivers/serial.c	(revision 3e35fd71b00303c0b9a3181c7922806e86f52ff0)
@@ -150,5 +150,5 @@
 	 * don't work on simics
 	 */
-	timer_fnc = &serial_handler;
+	virtual_timer_fnc = &serial_handler;
 	
 	stdin = &console;