// SPDX-License-Identifier: GPL-2.0

#include <linux/interrupt.h>

__rust_helper int rust_helper_request_irq(unsigned int irq,
					  irq_handler_t handler,
					  unsigned long flags, const char *name,
					  void *dev)
{
	return request_irq(irq, handler, flags, name, dev);
}