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