Symbol: RGE_TIMERINT1
sys/dev/pci/if_rge.c
3285
RGE_WRITE_4(sc, RGE_TIMERINT1, 0);
sys/dev/pci/if_rge.c
844
RGE_WRITE_4(sc, RGE_TIMERINT1, 0);