| Server IP : 61.19.30.66 / Your IP : 216.73.216.15 Web Server : Apache/2.2.22 (Ubuntu) System : Linux klw 3.11.0-15-generic #25~precise1-Ubuntu SMP Thu Jan 30 17:39:31 UTC 2014 x86_64 User : www-data ( 33) PHP Version : 5.3.10-1ubuntu3.48 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 : OFF | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : OFF Directory : /lib/modules/3.11.0-15-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)