Symbol: RGE_TIMERINT2
sys/dev/pci/if_rge.c
3286
RGE_WRITE_4(sc, RGE_TIMERINT2, 0);
sys/dev/pci/if_rge.c
845
RGE_WRITE_4(sc, RGE_TIMERINT2, 0);