HW_TIMROT_TIMCOUNTn
__raw_writel(0xffff, mxs_timrot_base + HW_TIMROT_TIMCOUNTn(1));
mxs_timrot_base + HW_TIMROT_TIMCOUNTn(1));
return ~((__raw_readl(mxs_timrot_base + HW_TIMROT_TIMCOUNTn(1))
__raw_writel(evt, mxs_timrot_base + HW_TIMROT_TIMCOUNTn(0));