usbf_devinfo_alloc  158 dev/usb/if_cdcef.c 	devinfop = usbf_devinfo_alloc(dev);
usbf_devinfo_alloc  105 dev/usb/usbf.h char		*usbf_devinfo_alloc(usbf_device_handle);