else if (isdigit(str[0])) get_option(&str, &tolerant); 
static int __init mcheck_enable(char *str){	if (*str == '=')		str++;	if (!strcmp(str, "off"))		mce_dont_init = 1;	else if (!strcmp(str, "bootlog"))		mce_bootlog = 1;	else		printk("mce= argument %s ignored. Please use /sys", str); 	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8c566ef5f3eb5d9daf61d0fa31d82c211f601ba0/mce.c/buggy/arch/x86_64/kernel/mce.c