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);