Symbol: vfio_region_dma_range