| /// Make sure threaded IRQs without a primary handler are always request with |
| // Options: --no-includes |
| request_threaded_irq@p(irq, NULL, thread_fn, |
| request_threaded_irq@p(irq, NULL, thread_fn, |
| *request_threaded_irq@p(...) |
| @match depends on report || org@ |
| request_threaded_irq@p(irq, NULL, ...) |
| @script:python depends on org@ |
| msg = "ERROR: Threaded IRQ with no primary handler requested without IRQF_ONESHOT" |
| coccilib.org.print_todo(p[0],msg) |
| @script:python depends on report@ |
| msg = "ERROR: Threaded IRQ with no primary handler requested without IRQF_ONESHOT" |
| coccilib.report.print_report(p[0],msg) |