printk(KERN_INFO "kernel schedule profiling enabled\n"); if (str[7] == ',') str += 8; } if (get_option(&str,&par)) { 
if (str[strlen(schedstr)] == ',') str += strlen(schedstr) + 1; if (get_option(&str, &par)) prof_shift = par; printk(KERN_INFO "kernel schedule profiling enabled (shift: %ld)\n", prof_shift); } else if (get_option(&str, &par)) { 
static int __init profile_setup(char * str){	int par;	if (!strncmp(str, "schedule", 8)) {		prof_on = SCHED_PROFILING;		printk(KERN_INFO "kernel schedule profiling enabled\n");		if (str[7] == ',')			str += 8;	}	if (get_option(&str,&par)) {		prof_shift = par;		prof_on = CPU_PROFILING;		printk(KERN_INFO "kernel profiling enabled (shift: %ld)\n",			prof_shift);	}	return 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dfaa9c94b13071c9b5f8578d0ae99acc76c60139/profile.c/buggy/kernel/profile.c