Symbol: gic_map_fdt