if (is_digit(*(str+2))) 
if (isdigit(*(str+2))) 
static int __init reboot_setup(char *str){	while(1) {		switch (*str) {		case 'w': /* "warm" reboot (no memory testing etc) */			reboot_mode = 0x1234;			break;		case 'c': /* "cold" reboot (with memory testing etc) */			reboot_mode = 0x0;			break;		case 'b': /* "bios" reboot by jumping through the BIOS */			reboot_thru_bios = 1;			break;		case 'h': /* "hard" reboot by toggling RESET and/or crashing the CPU */			reboot_thru_bios = 0;			break;#ifdef CONFIG_SMP		case 's': /* "smp" reboot by executing reset on BSP or other CPU*/			if (is_digit(*(str+1))) {				reboot_cpu = (int) (*(str+1) - '0');				if (is_digit(*(str+2))) 					reboot_cpu = reboot_cpu*10 + (int)(*(str+2) - '0');			}				/* we will leave sorting out the final value 				when we are ready to reboot, since we might not 				have set up boot_cpu_id or smp_num_cpu */			break;#endif		}		if((str = strchr(str,',')) != NULL)			str++;		else			break;	}	return 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6f673d83ca3b7a6aeaacfd45d6ce466c33df8039/reboot.c/clean/arch/i386/kernel/reboot.c