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);