Symbol: G42XXEB_INTCNTH
sys/arch/evbarm/g42xxeb/obio.c
316
regidx = G42XXEB_INTCNTH;
sys/arch/evbarm/g42xxeb/obio.c
334
bus_space_read_2(sc->sc_iot, sc->sc_obioreg_ioh, G42XXEB_INTCNTH));