static __cpuinit void disable_smp(void) 
static __init void disable_smp(void) 
static __cpuinit void disable_smp(void){	cpu_present_map = cpumask_of_cpu(0);	cpu_possible_map = cpumask_of_cpu(0);	if (smp_found_config)		phys_cpu_present_map = physid_mask_of_physid(boot_cpu_id);	else		phys_cpu_present_map = physid_mask_of_physid(0);	cpu_set(0, cpu_sibling_map[0]);	cpu_set(0, cpu_core_map[0]);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/smpboot.c/buggy/arch/x86_64/kernel/smpboot.c