int           rv; ipmi_smi_t    intf = user->intf; unsigned long flags; 
int              rv = -ENODEV; ipmi_smi_t       intf = user->intf; int              i; unsigned long    flags; struct cmd_rcvr  *rcvr; struct list_head *entry1, *entry2; struct cmd_rcvr  *rcvrs = NULL; 
int ipmi_destroy_user(ipmi_user_t user){	int           rv;	ipmi_smi_t    intf = user->intf;	unsigned long flags;	down_read(&interfaces_sem);	write_lock_irqsave(&intf->users_lock, flags);	rv = ipmi_destroy_user_nolock(user);	if (!rv) {		module_put(intf->handlers->owner);		if (intf->handlers->dec_usecount)			intf->handlers->dec_usecount(intf->send_info);	}			write_unlock_irqrestore(&intf->users_lock, flags);	up_read(&interfaces_sem);	return rv;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/393d2cc354d150b8b4bb888a9da7db4c935e12bd/ipmi_msghandler.c/clean/drivers/char/ipmi/ipmi_msghandler.c