Symbol: TIMER_INT_REG
usr/src/uts/common/io/rge/rge_chip.c
1382
rge_reg_put32(rgep, TIMER_INT_REG, itimer);
usr/src/uts/common/io/rge/rge_chip.c
967
rge_reg_put32(rgep, TIMER_INT_REG, TIMER_INT_NONE);