Symbol: ACRN_MEM_MAPPING_MAX