pub const VFIO_DEVICE_FLAGS_CDX: u32 = 256;