pub const VFIO_DMA_MAP_FLAG_VADDR: u32 = 4;