linux_raw_sys::ioctl

Constant VFIO_DEVICE_RESET

Source 
pub const VFIO_DEVICE_RESET: u32 = 15215;