itc_master        355 arch/ia64/kernel/smpboot.c 	int cpuid, phys_id, itc_master;
itc_master        366 arch/ia64/kernel/smpboot.c 	itc_master = time_keeper_id;
itc_master        408 arch/ia64/kernel/smpboot.c 		ia64_sync_itc(itc_master);