pub const VFIO_DEVICE_STATE_V1_SAVING: u32 = 2;