release_devnum 2247 drivers/usb/core/hub.c release_devnum(udev); release_devnum 5149 drivers/usb/core/hub.c release_devnum(udev);