// SPDX-License-Identifier: GPL-2.0
#include <linux/usb.h>
__rust_helper struct usb_device *
rust_helper_interface_to_usbdev(struct usb_interface *intf)
{
return interface_to_usbdev(intf);
}