pub const VFIO_PCI_HOT_RESET_FLAG_DEV_ID_OWNED: u32 = 2;