Symbol: OPENPIC_TDST
sys/powerpc/powerpc/openpic.c
417
sc->sc_saved_timers[i].tdst = bus_read_4(sc->sc_memr, OPENPIC_TDST(i));
sys/powerpc/powerpc/openpic.c
448
bus_write_4(sc->sc_memr, OPENPIC_TDST(i), sc->sc_saved_timers[i].tdst);