Symbol: xenvif_idx_release