Constant ACRN_IOCTL_RESET_VM 

pub const ACRN_IOCTL_RESET_VM: u32 = 41493;