| Server IP : 79.136.114.73 / Your IP : 3.138.37.184 Web Server : Apache/2.4.7 (Ubuntu) PHP/5.5.9-1ubuntu4.29 OpenSSL/1.0.1f System : Linux b8009 3.13.0-170-generic #220-Ubuntu SMP Thu May 9 12:40:49 UTC 2019 x86_64 User : www-data ( 33) PHP Version : 5.5.9-1ubuntu4.29 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority, MySQL : ON | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /lib/modules/3.13.0-35-generic/build/scripts/coccinelle/misc/ |
Upload File : |
/// Make sure threaded IRQs without a primary handler are always request with /// IRQF_ONESHOT /// // // Confidence: Good // Comments: // Options: --no-includes virtual patch virtual context virtual org virtual report @r1@ expression irq; expression thread_fn; expression flags; position p; @@ request_threaded_irq@p(irq, NULL, thread_fn, ( flags | IRQF_ONESHOT | IRQF_ONESHOT ) , ...) @depends on patch@ expression irq; expression thread_fn; expression flags; position p != r1.p; @@ request_threaded_irq@p(irq, NULL, thread_fn, ( -0 +IRQF_ONESHOT | -flags +flags | IRQF_ONESHOT ) , ...) @depends on context@ position p != r1.p; @@ *request_threaded_irq@p(...) @match depends on report || org@ expression irq; position p != r1.p; @@ request_threaded_irq@p(irq, NULL, ...) @script:python depends on org@ p << match.p; @@ msg = "ERROR: Threaded IRQ with no primary handler requested without IRQF_ONESHOT" coccilib.org.print_todo(p[0],msg) @script:python depends on report@ p << match.p; @@ msg = "ERROR: Threaded IRQ with no primary handler requested without IRQF_ONESHOT" coccilib.report.print_report(p[0],msg)