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 5861b60210d8279945afa052d207a686f0cad8f3)
@@ -122,5 +122,5 @@
 		itm += IT_DELTA;
 		if (itm - itc < 0)
-			CPU->missed_clock_ticks++;
+			CPU_LOCAL->missed_clock_ticks++;
 		else
 			break;