Constant ACRN_IOCTL_DESTROY_VM

pub const ACRN_IOCTL_DESTROY_VM: u32 = 41489;