CLOCK_RATE
pcnt = TX39_TIMERCLK / CLOCK_RATE - 1;
CLOCK_RATE, tx39clock_init,
RTCL1_L_REG_W, RTCL1_L_HZ / CLOCK_RATE);
CLOCK_RATE, vrrtc_init,