Constant ACRN_IOCTL_DESTROY_VM 

pub const ACRN_IOCTL_DESTROY_VM: u32 = 41489;