uhidev_maxrepid    79 dev/usb/uhidev.c int uhidev_maxrepid(void *buf, int len);
uhidev_maxrepid   255 dev/usb/uhidev.c 	nrepid = uhidev_maxrepid(desc, size);