VFIO_DEVICE_PCI_HOT_RESET

Constant VFIO_DEVICE_PCI_HOT_RESET 

Source
pub const VFIO_DEVICE_PCI_HOT_RESET: u32 = 15217;