rv = ipmi_request_supply_msgs(user, addr, 0, send_msg, &sem, 
rv = ipmi_request_supply_msgs(user, addr, 0, send_msg, &comp, 
static int ipmi_request_wait_for_response(ipmi_user_t            user,					  struct ipmi_addr       *addr,					  struct kernel_ipmi_msg *send_msg){	int              rv;	struct semaphore sem;	sema_init (&sem, 0);	rv = ipmi_request_supply_msgs(user, addr, 0, send_msg, &sem,				      &halt_smi_msg, &halt_recv_msg, 0);	if (rv)		return rv;	down (&sem);	return halt_recv_msg.msg.data[0];}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/77cf3973f22c7e7158f5e2c3c3d6809125b77e4b/ipmi_poweroff.c/clean/drivers/char/ipmi/ipmi_poweroff.c