static __init int mce_init_device(void) 
static __cpuinit int mce_init_device(void) 
static __init int mce_init_device(void){	int err;	if (!mce_available(&boot_cpu_data))		return -EIO;	err = sysdev_class_register(&mce_sysclass);	if (!err)		err = sysdev_register(&device_mce);	if (!err) { 		/* could create per CPU objects, but it is not worth it. */		sysdev_create_file(&device_mce, &attr_bank0ctl); 		sysdev_create_file(&device_mce, &attr_bank1ctl); 		sysdev_create_file(&device_mce, &attr_bank2ctl); 		sysdev_create_file(&device_mce, &attr_bank3ctl); 		sysdev_create_file(&device_mce, &attr_bank4ctl); 		sysdev_create_file(&device_mce, &attr_tolerant); 		sysdev_create_file(&device_mce, &attr_check_interval);	} 		misc_register(&mce_log_device);	return err;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/mce.c/clean/arch/x86_64/kernel/mce.c