// Copyright: (C) 2009 Gilles Muller, Julia Lawall, INRIA, DIKU.  GPLv2.

@@
expression skb, e,e1;
@@

(
 netif_rx(skb);
|
 netif_rx_ni(skb);
)
  ... when != skb = e
(
  skb = e1
|
* skb
)

@@
expression skb, e,e1, x;
@@

(
 x = netif_rx(skb)
|
 x = netif_rx_ni(skb)
)
  ... when != skb = e
      when != x
(
  skb = e1
|
* skb
)