pub const ACRN_IOCTL_RESET_VM: u32 = 41493;