Symbol: RL_TIMERINT
sys/dev/ic/re.c
2259
CSR_WRITE_4(sc, RL_TIMERINT, 0x400); /* XXX */
sys/dev/ic/re.c
2279
CSR_WRITE_4(sc, RL_TIMERINT, 0);