Symbol: GTIMER_CNT_HIGH
sys/arch/arm/cortex/amptimer.c
135
high0 = bus_space_read_4(iot, ioh, GTIMER_CNT_HIGH);
sys/arch/arm/cortex/amptimer.c
137
high1 = bus_space_read_4(iot, ioh, GTIMER_CNT_HIGH);
sys/arch/arm/cortex/amptimer.c
183
bus_space_write_4(sc->sc_iot, ioh, GTIMER_CNT_HIGH, 0);