Symbol: vdpa_iova_range