pub const VFIO_DEVICE_STATE_V1_RESUMING: u32 = 4;