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