pub const VFIO_DEVICE_FLAGS_RESET: u32 = 1;