diff --git a/call_kern3/call_kern3.cocci b/call_kern3/call_kern3.cocci index 78b7cb68..4a4d2d27 100644 --- a/call_kern3/call_kern3.cocci +++ b/call_kern3/call_kern3.cocci @@ -1,3 +1,13 @@ +// +// Use GFP_ATOMIC when a lock is held +// +// Target: Linux +// Copyright: 2012 - LIP6/INRIA +// License: Licensed under ISC. See LICENSE or http://www.isc.org/software/license +// Author: Julia Lawall +// URL: http://coccinelle.lip6.fr/ +// URL: http://coccinellery.org/ + @gfp exists@ identifier fn; position p;