Symbol: acrn_mm_region_add