static __cpuinit void enforce_max_cpus(unsigned max_cpus) 
static __init void enforce_max_cpus(unsigned max_cpus) 
static __cpuinit void enforce_max_cpus(unsigned max_cpus){	int i, k;	k = 0;	for (i = 0; i < NR_CPUS; i++) {		if (!cpu_possible(i))			continue;		if (++k > max_cpus) {			cpu_clear(i, cpu_possible_map);			cpu_clear(i, cpu_present_map);		}	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/smpboot.c/clean/arch/x86_64/kernel/smpboot.c