linux_raw_sys::ioctl

Constant ACRN_IOCTL_RESET_VM

Source 
pub const ACRN_IOCTL_RESET_VM: u32 = 41493;