pub const ACRN_IOCTL_DESTROY_VM: u32 = 41489;