cur_cpu_spec->cpu_features & CPU_FTR_SMT && 
cpu_has_feature(CPU_FTR_SMT) && 
static int smp_pSeries_cpu_bootable(unsigned int nr){	/* Special case - we inhibit secondary thread startup	 * during boot if the user requests it.  Odd-numbered	 * cpus are assumed to be secondary threads.	 */	if (system_state < SYSTEM_RUNNING &&	    cur_cpu_spec->cpu_features & CPU_FTR_SMT &&	    !smt_enabled_at_boot && nr % 2 != 0)		return 0;	return 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0231c290d817513d448963520a97eadd51a370b7/pSeries_smp.c/buggy/arch/ppc64/kernel/pSeries_smp.c