Symbol: GT_TIMER_COUNTER0
sys/arch/cobalt/dev/gt.c
192
GT_TIMER_COUNTER0, TIMER0_INIT_VALUE);
sys/arch/cobalt/dev/gt.c
207
counter0 = bus_space_read_4(sc->sc_bst, sc->sc_bsh, GT_TIMER_COUNTER0);