Constant VFIO_DEVICE_RESET 

pub const VFIO_DEVICE_RESET: u32 = 15215;