// Copyright: (C) 2010 Nicolas Palix, Suman Saha, Gael Thomas, Christophe Calves, Julia Lawall, Gilles Muller, LIP6, INRIA, DIKU.  GPLv2.

#include "cocci/database.cocci"

@rml@
position p;
@@

rcu_dereference@p(...)

@script:python@
p << rml.p;
@@

add_note("rcu_deref_out",p,"rcu_deref_out.cocci")