pub const VFIO_DEVICE_STATE_V1_RUNNING: u32 = 1;