xref: /linux/scripts/coccinelle/misc/irqf_oneshot.cocci (revision 26fbb4c8c7c3ee9a4c3b4de555a8587b5a19154e)
1// SPDX-License-Identifier: GPL-2.0
2/// Since commit 1c6c69525b40 ("genirq: Reject bogus threaded irq requests")
3/// threaded IRQs without a primary handler need to be requested with
4/// IRQF_ONESHOT, otherwise the request will fail.
5///
6/// So pass the IRQF_ONESHOT flag in this case.
7///
8//
9// Confidence: Moderate
10// Comments:
11// Options: --no-includes
12
13virtual patch
14virtual context
15virtual org
16virtual report
17
18@r1@
19expression dev, irq, thread_fn;
20position p;
21@@
22(
23request_threaded_irq@p(irq, NULL, thread_fn,
24(
25IRQF_ONESHOT | ...
26|
27IRQF_ONESHOT
28)
29, ...)
30|
31devm_request_threaded_irq@p(dev, irq, NULL, thread_fn,
32(
33IRQF_ONESHOT | ...
34|
35IRQF_ONESHOT
36)
37, ...)
38)
39
40@r2@
41expression dev, irq, thread_fn, flags, e;
42position p != r1.p;
43@@
44(
45flags = IRQF_ONESHOT | ...
46|
47flags |= IRQF_ONESHOT | ...
48)
49... when != flags = e
50(
51request_threaded_irq@p(irq, NULL, thread_fn, flags, ...);
52|
53devm_request_threaded_irq@p(dev, irq, NULL, thread_fn, flags, ...);
54)
55
56@depends on patch@
57expression dev, irq, thread_fn, flags;
58position p != {r1.p,r2.p};
59@@
60(
61request_threaded_irq@p(irq, NULL, thread_fn,
62(
63-0
64+IRQF_ONESHOT
65|
66-flags
67+flags | IRQF_ONESHOT
68)
69, ...)
70|
71devm_request_threaded_irq@p(dev, irq, NULL, thread_fn,
72(
73-0
74+IRQF_ONESHOT
75|
76-flags
77+flags | IRQF_ONESHOT
78)
79, ...)
80)
81
82@depends on context@
83expression dev, irq;
84position p != {r1.p,r2.p};
85@@
86(
87*request_threaded_irq@p(irq, NULL, ...)
88|
89*devm_request_threaded_irq@p(dev, irq, NULL, ...)
90)
91
92
93@match depends on report || org@
94expression dev, irq;
95position p != {r1.p,r2.p};
96@@
97(
98request_threaded_irq@p(irq, NULL, ...)
99|
100devm_request_threaded_irq@p(dev, irq, NULL, ...)
101)
102
103@script:python depends on org@
104p << match.p;
105@@
106msg = "ERROR: Threaded IRQ with no primary handler requested without IRQF_ONESHOT"
107coccilib.org.print_todo(p[0],msg)
108
109@script:python depends on report@
110p << match.p;
111@@
112msg = "ERROR: Threaded IRQ with no primary handler requested without IRQF_ONESHOT"
113coccilib.report.print_report(p[0],msg)
114