Symbol: gicv3_dcache_wb_range
sys/arch/arm/cortex/gicv3.c
541
gicv3_dcache_wb_range((vaddr_t)&sc->sc_lpiconf.base[irqbase + bit - 1], 1);
sys/arch/arm/cortex/gicv3.c
558
gicv3_dcache_wb_range((vaddr_t)&sc->sc_lpiconf.base[irqbase + bit - 1], 1);
sys/arch/arm/cortex/gicv3.c
574
gicv3_dcache_wb_range((vaddr_t)&sc->sc_lpiconf.base[is->is_irq], 1);