Symbol: TX39_TIMERCLK
sys/arch/hpcmips/tx/tx39clock.c
260
pcnt = TX39_TIMERCLK / CLOCK_RATE - 1;
sys/arch/hpcmips/tx/tx39timerreg.h
122
((val) + 1)/TX39_TIMERCLK /* unit:Hz */