linux-stable-rt/scripts/coccinelle/tests
..
doublebitand.cocci
doubletest.cocci