Symbol: OPENPIC_TVEC
sys/powerpc/powerpc/openpic.c
416
sc->sc_saved_timers[i].tvec = bus_read_4(sc->sc_memr, OPENPIC_TVEC(i));
sys/powerpc/powerpc/openpic.c
447
bus_write_4(sc->sc_memr, OPENPIC_TVEC(i), sc->sc_saved_timers[i].tvec);