pub const VFIO_DEVICE_STATE_V1_STOP: u32 = 0;