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