arm_gic_fdt_softc
sizeof(struct arm_gic_fdt_softc), arm_gic_driver);
struct arm_gic_fdt_softc *sc = device_get_softc(dev);
arm_gic_fill_ranges(phandle_t node, struct arm_gic_fdt_softc *sc)
struct arm_gic_fdt_softc *sc;