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