user->intf->handlers->set_run_to_completion(user->intf->send_info, val); 
ipmi_smi_t intf = user->intf; intf->handlers->set_run_to_completion(intf->send_info, val); 
void ipmi_user_set_run_to_completion(ipmi_user_t user, int val){	user->intf->handlers->set_run_to_completion(user->intf->send_info,						    val);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/393d2cc354d150b8b4bb888a9da7db4c935e12bd/ipmi_msghandler.c/clean/drivers/char/ipmi/ipmi_msghandler.c