pub const VFIO_DEVICE_STATE_MASK: u32 = 7;