pub const ACRN_IOCTL_START_VM: u32 = 41490;