EP93XX_TIMER4_VALUE_HIGH   59 arch/arm/mach-ep93xx/timer-ep93xx.c 	ret |= ((u64) (readl(EP93XX_TIMER4_VALUE_HIGH) & 0xff) << 32);
EP93XX_TIMER4_VALUE_HIGH   68 arch/arm/mach-ep93xx/timer-ep93xx.c 	ret |= ((u64) (readl(EP93XX_TIMER4_VALUE_HIGH) & 0xff) << 32);
EP93XX_TIMER4_VALUE_HIGH  131 arch/arm/mach-ep93xx/timer-ep93xx.c 	       EP93XX_TIMER4_VALUE_HIGH);