cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

irqf_oneshot.cocci (2007B)


      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 = "WARNING: Threaded IRQ with no primary handler requested without IRQF_ONESHOT (unless it is nested IRQ)"
    107coccilib.org.print_todo(p[0],msg)
    108
    109@script:python depends on report@
    110p << match.p;
    111@@
    112msg = "WARNING: Threaded IRQ with no primary handler requested without IRQF_ONESHOT (unless it is nested IRQ)"
    113coccilib.report.print_report(p[0],msg)