if (!(CHAR_IS_NUM(options[0]))) { 
if (!(isdigit(options[0]))) { 
static char *pm3fb_boardnum_setup(char *options, unsigned long *bn){	char *next;	if (!(CHAR_IS_NUM(options[0]))) {		(*bn) = 0;		return (options);	}	(*bn) = simple_strtoul(options, &next, 10);	if (next && (next[0] == ':') && ((*bn) >= 0)	    && ((*bn) <= PM3_MAX_BOARD)) {		DPRINTK(2, "Board_num seen as %ld\n", (*bn));		return (next + 1);	} else {		(*bn) = 0;		DPRINTK(2, "Board_num default to %ld\n", (*bn));		return (options);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/82006d084109bb4118f1de0dc5855abe5ccae430/pm3fb.c/buggy/drivers/video/pm3fb.c