cmp_hi             59 drivers/clocksource/timer-imx-sysctr.c 	u32 cmp_hi, cmp_lo;
cmp_hi             68 drivers/clocksource/timer-imx-sysctr.c 	cmp_hi = (next >> 32) & 0x00fffff;
cmp_hi             71 drivers/clocksource/timer-imx-sysctr.c 	writel_relaxed(cmp_hi, sys_ctr_base + CMPCV_HI);