fdt_add_gic
fdt_add_gic(GIC_DIST_BASE, GIC_DIST_SIZE, GIC_REDIST_BASE,
void fdt_add_gic(uint64_t dist_base, uint64_t dist_size,