#endif 
static int ipmi_poweroff_init (void){	int rv;	printk ("Copyright (C) 2004 MontaVista Software -"		" IPMI Powerdown via sys_reboot.\n");	if (poweroff_powercycle)		printk(KERN_INFO PFX "Power cycle is enabled.\n");#ifdef CONFIG_PROC_FS	ipmi_table_header = register_sysctl_table(ipmi_root_table, 1);	if (!ipmi_table_header) {		printk(KERN_ERR PFX "Unable to register powercycle sysctl\n");		rv = -ENOMEM;		goto out_err;	}#endif#ifdef CONFIG_PROC_FS	rv = ipmi_smi_watcher_register(&smi_watcher);#endif	if (rv) {		unregister_sysctl_table(ipmi_table_header);		printk(KERN_ERR PFX "Unable to register SMI watcher: %d\n", rv);		goto out_err;	} out_err:	return rv;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/21d6c542153c680f689a9badf5534bf27704350b/ipmi_poweroff.c/buggy/drivers/char/ipmi/ipmi_poweroff.c