arm_gic_softc
struct arm_gic_softc *sc = device_get_softc(dev);
struct arm_gic_softc *sc = device_get_softc(dev);
struct arm_gic_softc *sc;
struct arm_gic_softc *sc;
struct arm_gic_softc *sc;
struct arm_gic_softc *sc;
struct arm_gic_softc *sc = device_get_softc(dev);
sizeof(struct arm_gic_softc));
static struct arm_gic_softc *gic_sc = NULL;
gic_irq_unmask(struct arm_gic_softc *sc, u_int irq)
gic_irq_mask(struct arm_gic_softc *sc, u_int irq)
gic_cpu_mask(struct arm_gic_softc *sc)
struct arm_gic_softc *sc = device_get_softc(dev);
arm_gic_register_isrcs(struct arm_gic_softc *sc, uint32_t num)
struct arm_gic_softc *sc;
struct arm_gic_softc *sc;
struct arm_gic_softc *sc;
struct arm_gic_softc *sc;
struct arm_gic_softc *sc;
struct arm_gic_softc *sc = arg;
gic_config(struct arm_gic_softc *sc, u_int irq, enum intr_trigger trig,
gic_bind(struct arm_gic_softc *sc, u_int irq, cpuset_t *cpus)
struct arm_gic_softc *sc;
struct arm_gic_softc *sc;
struct arm_gic_softc *sc = device_get_softc(dev);
struct arm_gic_softc *sc = device_get_softc(dev);
struct arm_gic_softc *sc = device_get_softc(dev);
struct arm_gic_softc *sc = device_get_softc(dev);
struct arm_gic_softc *sc = device_get_softc(dev);
struct arm_gic_softc *sc = device_get_softc(dev);
struct arm_gic_softc *sc = device_get_softc(dev);
struct arm_gic_softc *sc;
struct arm_gic_softc *sc = device_get_softc(dev);
sizeof(struct arm_gic_softc), arm_gic_driver);
struct arm_gic_softc base;