HW_TIMROT_TIMCOUNTn   88 drivers/clocksource/mxs_timer.c 	return ~((__raw_readl(mxs_timrot_base + HW_TIMROT_TIMCOUNTn(1))
HW_TIMROT_TIMCOUNTn   96 drivers/clocksource/mxs_timer.c 	__raw_writel(evt, mxs_timrot_base + HW_TIMROT_TIMCOUNTn(0));
HW_TIMROT_TIMCOUNTn  134 drivers/clocksource/mxs_timer.c 		__raw_writel(0xffff, mxs_timrot_base + HW_TIMROT_TIMCOUNTn(1));
HW_TIMROT_TIMCOUNTn  261 drivers/clocksource/mxs_timer.c 			mxs_timrot_base + HW_TIMROT_TIMCOUNTn(1));