void dev_ip_addr(void *d, char *buf, char *bin_buf) 
void dev_ip_addr(void *d, unsigned char *bin_buf) 
void dev_ip_addr(void *d, char *buf, char *bin_buf){	struct net_device *dev = d;	struct in_device *ip = dev->ip_ptr;	struct in_ifaddr *in;	u32 addr;	if((ip == NULL) || ((in = ip->ifa_list) == NULL)){		printk(KERN_WARNING "dev_ip_addr - device not assigned an "		       "IP address\n");		return;	}	addr = in->ifa_address;	sprintf(buf, "%d.%d.%d.%d", addr & 0xff, (addr >> 8) & 0xff, 		(addr >> 16) & 0xff, addr >> 24);	if(bin_buf){		bin_buf[0] = addr & 0xff;		bin_buf[1] = (addr >> 8) & 0xff;		bin_buf[2] = (addr >> 16) & 0xff;		bin_buf[3] = addr >> 24;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0e76422ca5f34bb43b97c0945646ef072bcc1776/net_kern.c/buggy/arch/um/drivers/net_kern.c