Searched refs:EP93XX_TIMER4_VALUE_HIGH (Results 1 – 1 of 1) sorted by relevance
43 #define EP93XX_TIMER4_VALUE_HIGH EP93XX_TIMER_REG(0x64) macro58 ret |= ((u64) (readl(EP93XX_TIMER4_VALUE_HIGH) & 0xff) << 32); in ep93xx_read_sched_clock()67 ret |= ((u64) (readl(EP93XX_TIMER4_VALUE_HIGH) & 0xff) << 32); in ep93xx_clocksource_read()130 EP93XX_TIMER4_VALUE_HIGH); in ep93xx_timer_init()