Index: kernel/arch/mips32/src/interrupt.c
===================================================================
--- kernel/arch/mips32/src/interrupt.c	(revision 6677acb49e48af821edea6da80b06fe4a5b68dba)
+++ kernel/arch/mips32/src/interrupt.c	(revision a064d4fc00192ecc7d42d04ecfb3474585fef055)
@@ -121,5 +121,5 @@
 	while (drift > cp0_compare_value) {
 		drift -= cp0_compare_value;
-		CPU->missed_clock_ticks++;
+		CPU_LOCAL->missed_clock_ticks++;
 	}
 
