Symbol: OPENPIC_TBASE
sys/powerpc/powerpc/openpic.c
415
sc->sc_saved_timers[i].tbase = bus_read_4(sc->sc_memr, OPENPIC_TBASE(i));
sys/powerpc/powerpc/openpic.c
446
bus_write_4(sc->sc_memr, OPENPIC_TBASE(i), sc->sc_saved_timers[i].tbase);