Symbol: RGE_TIMERINT1
src/add-ons/kernel/drivers/network/ether/rtl8125/dev/pci/if_rge.c
3422
RGE_WRITE_4(sc, RGE_TIMERINT1, 0);
src/add-ons/kernel/drivers/network/ether/rtl8125/dev/pci/if_rge.c
967
RGE_WRITE_4(sc, RGE_TIMERINT1, 0);