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;
@@
(
read_lock_irq@p2
|
write_lock_irq@p2
|
read_lock_irqsave@p2
|
write_lock_irqsave@p2
|
spin_lock_irq@p2
|
spin_lock_irqsave@p2
|
cli@p2
|
local_irq_disable@p2
)
(...)
... when != restore_flags
when != read_unlock_irq
when != write_unlock_irq
when != read_unlock_irqrestore
when != write_unlock_irqrestore
when != spin_unlock_irq
when != spin_unlock_irqrestore
when != sti
when != local_irq_enable
fn@p1(...)
@script:python@
fn << virtual.fn;
p1 << free.p1;
p2 << locked.p2;
@@
cocci.print_main(fn,p1)
cocci.print_secs("ref",p2)