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