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