void get_ipinfo(oskit_etherdev_t *dev, 
	char *ipaddr, 
	char *gateway, 
	char *netmask,
	long *howfarwest);