#Linux# Add missing pci_dev_put

coccinelle · Aug 10, 2016 · 2b38788 · 2b38788
1 parent 45d1302
commit 2b38788
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/pci_add_put/pci_noputm.cocci b/pci_add_put/pci_noputm.cocci
@@ -1,3 +1,13 @@
+//
+//  Add missing pci_dev_put
+//
+// Target: Linux
+// Copyright:  2012 - LIP6/INRIA
+// License:  Licensed under ISC. See LICENSE or http://www.isc.org/software/license
+// Author: Julia Lawall <Julia.Lawall@lip6.fr>
+// URL: http://coccinelle.lip6.fr/ 
+// URL: http://coccinellery.org/ 
+
 @@
 type T;
 identifier d;