TX4938_TMR_REG
txx9_tmr_init(TX4938_TMR_REG(i) & 0xfffffffffULL);
txx9_clockevent_init(TX4938_TMR_REG(tmrnr) & 0xfffffffffULL,
txx9_wdt_init(TX4938_TMR_REG(2) & 0xfffffffffULL);
txx9_wdt_now(TX4938_TMR_REG(2) & 0xfffffffffULL);