Removes stray cocci file
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 19 Feb 2015 19:28:38 +0000 (14:28 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sun, 1 Mar 2015 14:36:17 +0000 (09:36 -0500)
scripts/linux.cocci [deleted file]

diff --git a/scripts/linux.cocci b/scripts/linux.cocci
deleted file mode 100644 (file)
index a665a10..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-@@
-expression E;
-@@
-- __va(
-+KADDR(
- E);