Constant VMAR_FLAG_CAN_MAP_EXECUTE 

pub const VMAR_FLAG_CAN_MAP_EXECUTE: u32 = 64;