for (i = 0; i < MAX_IPMI_INTERFACES; i++) { 
for (i = 0; i < MAX_IPMI_INTERFACES; i++) 
static int ipmi_init_msghandler(void){	int i;	if (initialized)		return 0;	printk(KERN_INFO "ipmi message handler version "	       IPMI_DRIVER_VERSION "\n");	for (i = 0; i < MAX_IPMI_INTERFACES; i++) {		ipmi_interfaces[i] = NULL;	}#ifdef CONFIG_PROC_FS	proc_ipmi_root = proc_mkdir("ipmi", NULL);	if (!proc_ipmi_root) {	    printk(KERN_ERR PFX "Unable to create IPMI proc dir");	    return -ENOMEM;	}	proc_ipmi_root->owner = THIS_MODULE;#endif /* CONFIG_PROC_FS */	init_timer(&ipmi_timer);	ipmi_timer.data = 0;	ipmi_timer.function = ipmi_timeout;	ipmi_timer.expires = jiffies + IPMI_TIMEOUT_JIFFIES;	add_timer(&ipmi_timer);	notifier_chain_register(&panic_notifier_list, &panic_block);	initialized = 1;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/393d2cc354d150b8b4bb888a9da7db4c935e12bd/ipmi_msghandler.c/clean/drivers/char/ipmi/ipmi_msghandler.c