Symbol: pcc2_reg_read32
sys/dev/mvme/clock_pcctwo.c
178
tc1 = pcc2_reg_read32(sys_pcctwo, PCC2REG_TIMER1_COUNTER);
sys/dev/mvme/clock_pcctwo.c
180
tc2 = pcc2_reg_read32(sys_pcctwo, PCC2REG_TIMER1_COUNTER);
sys/dev/mvme/clock_pcctwo.c
201
tc = pcc2_reg_read32(sys_pcctwo, PCC2REG_TIMER1_COUNTER);
sys/dev/mvme/clock_pcctwo.c
203
if (tc > pcc2_reg_read32(sys_pcctwo, PCC2REG_TIMER1_COUNTER))