Index: kernel/arch/ia64/src/drivers/it.c
===================================================================
--- kernel/arch/ia64/src/drivers/it.c	(revision b1696194837e19c7e4d446880d20ede25043bad4)
+++ 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;