CNTCV_HI           48 drivers/clocksource/timer-imx-sysctr.c 		cnt_hi = readl_relaxed(sys_ctr_base + CNTCV_HI);
CNTCV_HI           50 drivers/clocksource/timer-imx-sysctr.c 		tmp_hi = readl_relaxed(sys_ctr_base + CNTCV_HI);