virtual external
@free@
identifier virtual.fn;
position p1;
@@
fn@p1(...)
@script:python depends on !external@
p1 << free.p1;
defining_file << virtual.defining_file;
@@
defining_file = "%s" % defining_file # convert a cocci string to a python one
if (not(p1[0].file == defining_file)):
cocci.include_match(False)
@locked@
expression lock;
position free.p1,p2;
identifier virtual.fn;
@@
(
spin_lock@p2
|
spin_trylock@p2
|
read_lock@p2
|
read_trylock@p2
|
write_lock@p2
|
write_trylock@p2
|
local_irq_save@p2
|
save_and_cli@p2
)
(...)
... when != spin_unlock
when != read_unlock
when != write_unlock
when != local_irq_restore
when != restore_flags
when != sti
fn@p1(...)
@script:python@
fn << virtual.fn;
p1 << free.p1;
p2 << locked.p2;
@@
cocci.print_main(fn,p1)
cocci.print_secs("ref",p2)