TX39_RTCLOCK
*cpuclock = (100000000 / elapsed) * TX39_RTCLOCK;
sc->sc_tcounter.tc_frequency = TX39_RTCLOCK;
#define TX39_MSEC2RTC(m) ((TX39_RTCLOCK * (m)) / 1000)