Symbol: IWB_WTMR
sys/arm64/arm64/gicv5_iwb.c
464
reg = bus_read_4(sc->sc_mem, IWB_WTMR(irq));
sys/arm64/arm64/gicv5_iwb.c
468
bus_write_4(sc->sc_mem, IWB_WTMR(irq), reg);