Constant VFIO_DEVICE_GET_GFX_DMABUF 

pub const VFIO_DEVICE_GET_GFX_DMABUF: u32 = 15219;