ia64_set_itc     1030 arch/ia64/kernel/setup.c 	ia64_set_itc(0);
ia64_set_itc      323 arch/ia64/kernel/smpboot.c 				ia64_set_itc(ia64_get_itc() + adj);