Symbol: fpga_region_info