Symbol: tipc_skb_dequeue