ia64_init_itm     357 arch/ia64/kernel/smpboot.c 	extern void ia64_init_itm(void);
ia64_init_itm     414 arch/ia64/kernel/smpboot.c 	ia64_init_itm();
ia64_init_itm     399 arch/ia64/kernel/time.c 	ia64_init_itm();