Symbol: RGE_TIMERINT2
sys/dev/rge/if_rge.c
1274
RGE_WRITE_4(sc, RGE_TIMERINT2, 0);
sys/dev/rge/if_rge_hw.c
1833
RGE_WRITE_4(sc, RGE_TIMERINT2, 0);