usb_cookie_no      82 dev/usb/usb_subr.c u_int32_t	usb_cookie_no = 0;
usb_cookie_no    1024 dev/usb/usb_subr.c 	dev->cookie.cookie = ++usb_cookie_no;