Symbol: platform_allocate_region