Symbol: xenvif_handle_rx_interrupt