mirror of
https://github.com/edk2-porting/linux-next.git
synced 2024-12-28 15:13:55 +08:00
5d2db9bb5f
The IRQF_ONESHOT should be present for threaded IRQ using default primary handler. However intetrupt of many child devices, e.g. children of MFD, is nested thus the IRQF_ONESHOT is not needed. The coccinelle message about error misleads submitters and reviewers about the severity of the issue, so make it a warning and mention possible false positive. Signed-off-by: Krzysztof Kozlowski <krzysztof.kozlowski@canonical.com> Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
114 lines
2.0 KiB
Plaintext
114 lines
2.0 KiB
Plaintext
// SPDX-License-Identifier: GPL-2.0
|
|
/// Since commit 1c6c69525b40 ("genirq: Reject bogus threaded irq requests")
|
|
/// threaded IRQs without a primary handler need to be requested with
|
|
/// IRQF_ONESHOT, otherwise the request will fail.
|
|
///
|
|
/// So pass the IRQF_ONESHOT flag in this case.
|
|
///
|
|
//
|
|
// Confidence: Moderate
|
|
// Comments:
|
|
// Options: --no-includes
|
|
|
|
virtual patch
|
|
virtual context
|
|
virtual org
|
|
virtual report
|
|
|
|
@r1@
|
|
expression dev, irq, thread_fn;
|
|
position p;
|
|
@@
|
|
(
|
|
request_threaded_irq@p(irq, NULL, thread_fn,
|
|
(
|
|
IRQF_ONESHOT | ...
|
|
|
|
|
IRQF_ONESHOT
|
|
)
|
|
, ...)
|
|
|
|
|
devm_request_threaded_irq@p(dev, irq, NULL, thread_fn,
|
|
(
|
|
IRQF_ONESHOT | ...
|
|
|
|
|
IRQF_ONESHOT
|
|
)
|
|
, ...)
|
|
)
|
|
|
|
@r2@
|
|
expression dev, irq, thread_fn, flags, e;
|
|
position p != r1.p;
|
|
@@
|
|
(
|
|
flags = IRQF_ONESHOT | ...
|
|
|
|
|
flags |= IRQF_ONESHOT | ...
|
|
)
|
|
... when != flags = e
|
|
(
|
|
request_threaded_irq@p(irq, NULL, thread_fn, flags, ...);
|
|
|
|
|
devm_request_threaded_irq@p(dev, irq, NULL, thread_fn, flags, ...);
|
|
)
|
|
|
|
@depends on patch@
|
|
expression dev, irq, thread_fn, flags;
|
|
position p != {r1.p,r2.p};
|
|
@@
|
|
(
|
|
request_threaded_irq@p(irq, NULL, thread_fn,
|
|
(
|
|
-0
|
|
+IRQF_ONESHOT
|
|
|
|
|
-flags
|
|
+flags | IRQF_ONESHOT
|
|
)
|
|
, ...)
|
|
|
|
|
devm_request_threaded_irq@p(dev, irq, NULL, thread_fn,
|
|
(
|
|
-0
|
|
+IRQF_ONESHOT
|
|
|
|
|
-flags
|
|
+flags | IRQF_ONESHOT
|
|
)
|
|
, ...)
|
|
)
|
|
|
|
@depends on context@
|
|
expression dev, irq;
|
|
position p != {r1.p,r2.p};
|
|
@@
|
|
(
|
|
*request_threaded_irq@p(irq, NULL, ...)
|
|
|
|
|
*devm_request_threaded_irq@p(dev, irq, NULL, ...)
|
|
)
|
|
|
|
|
|
@match depends on report || org@
|
|
expression dev, irq;
|
|
position p != {r1.p,r2.p};
|
|
@@
|
|
(
|
|
request_threaded_irq@p(irq, NULL, ...)
|
|
|
|
|
devm_request_threaded_irq@p(dev, irq, NULL, ...)
|
|
)
|
|
|
|
@script:python depends on org@
|
|
p << match.p;
|
|
@@
|
|
msg = "WARNING: Threaded IRQ with no primary handler requested without IRQF_ONESHOT (unless it is nested IRQ)"
|
|
coccilib.org.print_todo(p[0],msg)
|
|
|
|
@script:python depends on report@
|
|
p << match.p;
|
|
@@
|
|
msg = "WARNING: Threaded IRQ with no primary handler requested without IRQF_ONESHOT (unless it is nested IRQ)"
|
|
coccilib.report.print_report(p[0],msg)
|