Constant linux_raw_sys::ioctl::VFIO_DEVICE_PCI_HOT_RESET

pub const VFIO_DEVICE_PCI_HOT_RESET: u32 = 15217;