Symbol: PCC2REG_TIMER2_COUNTER
sys/dev/mvme/clock_pcctwo.c
144
pcc2_reg_write32(sys_pcctwo, PCC2REG_TIMER2_COUNTER, 0);
sys/dev/mvme/clock_pcctwo.c
230
pcc2_reg_write32(sys_pcctwo, PCC2REG_TIMER2_COUNTER, 0);