else if (!strcmp(str, "bootlog")) mce_bootlog = 1; 
else if (!strcmp(str, "bootlog") || !strcmp(str,"nobootlog")) mce_bootlog = str[0] == 'b'; 
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 if (isdigit(str[0]))		get_option(&str, &tolerant);	else		printk("mce= argument %s ignored. Please use /sys", str); 	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e583538f077d5f70191670b47a046ba436ec3428/mce.c/clean/arch/x86_64/kernel/mce.c