void __init select_idle_routine(const struct cpuinfo_x86 *c) 
void __cpuinit select_idle_routine(const struct cpuinfo_x86 *c) 
void __init select_idle_routine(const struct cpuinfo_x86 *c){	static int printed;	if (cpu_has(c, X86_FEATURE_MWAIT)) {		/*		 * Skip, if setup has overridden idle.		 * One CPU supports mwait => All CPUs supports mwait		 */		if (!pm_idle) {			if (!printed) {				printk("using mwait in idle threads.\n");				printed = 1;			}			pm_idle = mwait_idle;		}	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/process.c/buggy/arch/x86_64/kernel/process.c