Index: kernel/arch/mips32/include/interrupt.h
===================================================================
--- kernel/arch/mips32/include/interrupt.h	(revision 78595d6da1d919a9ecacafa878d040aaf6b4ce80)
+++ kernel/arch/mips32/include/interrupt.h	(revision 14de0dd8ac3fb34b962cb8db404889e27f1f3ac6)
@@ -41,5 +41,5 @@
 #define IVT_FIRST 0
 
-extern function timer_fnc;
+extern function virtual_timer_fnc;
 
 extern void interrupt_init(void);