ia64_set_itm 209 arch/ia64/kernel/time.c ia64_set_itm(new_itm); ia64_set_itm 237 arch/ia64/kernel/time.c ia64_set_itm(local_cpu_data->itm_next);