Searched refs:gicv3_dcache_wb_range (Results 1 – 1 of 1) sorted by relevance
526 gicv3_dcache_wb_range(vaddr_t va, vsize_t len) in gicv3_dcache_wb_range() function541 gicv3_dcache_wb_range((vaddr_t)&sc->sc_lpiconf.base[irqbase + bit - 1], 1); in gicv3_lpi_unblock_irqs()558 gicv3_dcache_wb_range((vaddr_t)&sc->sc_lpiconf.base[irqbase + bit - 1], 1); in gicv3_lpi_block_irqs()574 gicv3_dcache_wb_range((vaddr_t)&sc->sc_lpiconf.base[is->is_irq], 1); in gicv3_lpi_establish_irq()