xenvif_rx_dequeue
while ((skb = xenvif_rx_dequeue(queue)) != NULL)
xenvif_rx_dequeue(queue);
skb = xenvif_rx_dequeue(queue);