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