| boolinit.cocci | 2248 | 2012-05-20 13:29:25 -0700 | |
| cstptr.cocci | 825 | 2012-05-20 13:29:25 -0700 | |
| doubleinit.cocci | 1389 | 2012-03-18 15:15:42 -0700 | |
| ifaddr.cocci | 672 | 2012-07-21 11:58:43 -0700 | |
| ifcol.cocci | 1240 | 2011-01-04 15:50:26 -0800 | |
| irqf_oneshot.cocci | 1117 | 2012-09-30 14:48:10 -0700 | |
| noderef.cocci | 990 | 2012-07-21 11:58:43 -0700 |

