else if (!strcmp(str, "bootlog")) mce_bootlog = 1; 
static int __init mcheck_enable(char *str){	if (!strcmp(str, "off"))		mce_dont_init = 1;	else		printk("mce= argument %s ignored. Please use /sys", str); 	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d5172f263f76ca6d588f533c0989b22521fcbac2/mce.c/clean/arch/x86_64/kernel/mce.c