profile_dead_cpu  365 kernel/profile.c 			profile_dead_cpu(cpu);
profile_dead_cpu  539 kernel/profile.c 				profile_prepare_cpu, profile_dead_cpu);