VFIO_DEVICE_GET_PCI_HOT_RESET_INFO

Constant VFIO_DEVICE_GET_PCI_HOT_RESET_INFO 

Source
pub const VFIO_DEVICE_GET_PCI_HOT_RESET_INFO: u32 = 15216;