Author: Julia Lawall <Julia.Lawall@lip6.fr> On success, the function netdev_alloc_skb initializes the dev field of its result to its first argument, so this doesn’t have to be done in the calling context. The semantic patch that fixes this problem is as follows: (http://coccinelle.lip6.fr/) // @@ expression skb,privn,e; @@ skb = netdev_alloc_skb(privn,…); … when strict ( -skb->dev …