pub const VFIO_DEVICE_RESET: u32 = 15215;