Symbol: RGE_TIMERINT1
sys/dev/rge/if_rge.c
1273
RGE_WRITE_4(sc, RGE_TIMERINT1, 0);
sys/dev/rge/if_rge_hw.c
1832
RGE_WRITE_4(sc, RGE_TIMERINT1, 0);