Symbol: GICD_ICFGR
sys/arch/arm64/dev/agintc.c
566
GICD_ICFGR(i * 16), 0);
sys/arch/arm64/dev/agintc.c
931
reg = bus_space_read_4(sc->sc_iot, sc->sc_d_ioh, GICD_ICFGR(irq));
sys/arch/arm64/dev/agintc.c
937
bus_space_write_4(sc->sc_iot, sc->sc_d_ioh, GICD_ICFGR(irq), reg);