Constant vfio_sys::vfio::VFIO_DEVICE_FLAGS_PLATFORM

pub const VFIO_DEVICE_FLAGS_PLATFORM: u32 = 4;