read_lock(&(intf->users_lock)); list_for_each_entry(user, &(intf->users), link) { 
rcu_read_lock(); list_for_each_entry_rcu(user, &intf->users, link) { 
void ipmi_smi_watchdog_pretimeout(ipmi_smi_t intf){	ipmi_user_t user;	read_lock(&(intf->users_lock));	list_for_each_entry(user, &(intf->users), link) {		if (! user->handler->ipmi_watchdog_pretimeout)			continue;		user->handler->ipmi_watchdog_pretimeout(user->handler_data);	}	read_unlock(&(intf->users_lock));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/393d2cc354d150b8b4bb888a9da7db4c935e12bd/ipmi_msghandler.c/clean/drivers/char/ipmi/ipmi_msghandler.c