usbf_devinfo_free  160 dev/usb/if_cdcef.c 	usbf_devinfo_free(devinfop);
usbf_devinfo_free  106 dev/usb/usbf.h void		 usbf_devinfo_free(char *);