Symbol: TX39_TIMERRTCHI_REG
sys/arch/hpcmips/tx/tx39clock.c
207
oreghi = tx_conf_read(tc, TX39_TIMERRTCHI_REG);
sys/arch/hpcmips/tx/tx39clock.c
208
reghi = tx_conf_read(tc, TX39_TIMERRTCHI_REG);