Symbol: TIMER_COUNT_REG
usr/src/uts/common/io/rge/rge_chip.c
1394
rge_reg_put32(rgep, TIMER_COUNT_REG, 0);
usr/src/uts/common/io/rge/rge_chip.c
968
rge_reg_put32(rgep, TIMER_COUNT_REG, 0);