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