Symbol: TIME_HIGH
sys/dev/fdt/gfrtc.c
68
th = bus_space_read_4(sc->sc_iot, sc->sc_ioh, TIME_HIGH);
sys/dev/fdt/gfrtc.c
83
bus_space_write_4(sc->sc_iot, sc->sc_ioh, TIME_HIGH, ns >> 32);