Index: kernel/arch/ia64/src/drivers/it.c
===================================================================
--- kernel/arch/ia64/src/drivers/it.c	(revision 28a5ebdea900783081bd23e40f685b6b0479c63d)
+++ kernel/arch/ia64/src/drivers/it.c	(revision a064d4fc00192ecc7d42d04ecfb3474585fef055)
@@ -122,5 +122,5 @@
 		itm += IT_DELTA;
 		if (itm - itc < 0)
-			CPU->missed_clock_ticks++;
+			CPU_LOCAL->missed_clock_ticks++;
 		else
 			break;