VFIO_DEVICE_RESET

Constant VFIO_DEVICE_RESET 

Source
pub const VFIO_DEVICE_RESET: u32 = 15215;