diff options
Diffstat (limited to 'share/portseal/portseal.cocci')
-rw-r--r-- | share/portseal/portseal.cocci | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/share/portseal/portseal.cocci b/share/portseal/portseal.cocci index de1aeee..4525c72 100644 --- a/share/portseal/portseal.cocci +++ b/share/portseal/portseal.cocci @@ -17,8 +17,12 @@ F (..., mach_port_t *I, ...) { ... } identifier dec.I; expression E; @@ +{ +<... -I = E +I = portseal_set_port (&I, E) +...> +} /* The wrap hacks. */ |