// 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);}