Symbol: OPENPIC_TCNT
sys/powerpc/powerpc/openpic.c
414
sc->sc_saved_timers[i].tcnt = bus_read_4(sc->sc_memr, OPENPIC_TCNT(i));
sys/powerpc/powerpc/openpic.c
445
bus_write_4(sc->sc_memr, OPENPIC_TCNT(i), sc->sc_saved_timers[i].tcnt);