Symbol: ffa_mem_region_addr_range