Symbol: fpga_region_put