Symbol: release_devnum
drivers/usb/core/hub.c
2381
release_devnum(udev);
drivers/usb/core/hub.c
5594
release_devnum(udev);