Symbol: skb_network_header
usr/src/tools/smatch/src/validation/sm_skb2.c
19
return skb_network_header(skb) - skb->data;
usr/src/tools/smatch/src/validation/sm_skb2.c
30
__smatch_user_rl(skb->data - skb_network_header(skb));