OMAP2_32KSYNCNT_CR_OFF_HIGH
sync32k_cnt_reg = vbase + OMAP2_32KSYNCNT_CR_OFF_HIGH;
ti_32k_timer.counter += OMAP2_32KSYNCNT_CR_OFF_HIGH;