void ipmi_set_my_address(ipmi_user_t   user, unsigned char address) 
int ipmi_set_my_address(ipmi_user_t   user, unsigned int  channel, unsigned char address) 
void ipmi_set_my_address(ipmi_user_t   user,			 unsigned char address){	user->intf->my_address = address;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c14979b993021377228958498937bcdd9539cbce/ipmi_msghandler.c/clean/drivers/char/ipmi/ipmi_msghandler.c