/* Must be called when a user of an interface is finished with it. When the last user of the interface calls this function, the memory of the interface is freed.  */
void usb_put_intf(struct usb_interface *intf)
/* Must be called when a user of an interface is finished with it. When the last user of the interface calls this function, the memory of the interface is freed.  */
void usb_put_intf(struct usb_interface *intf)
{
	if (intf)
		put_device(&intf->dev);
}