Constant vfio_sys::vfio::VFIO_PCI_HOT_RESET_FLAG_DEV_ID

pub const VFIO_PCI_HOT_RESET_FLAG_DEV_ID: u32 = 1;