/* SPDX-License-Identifier: GPL-2.0 */ /* * goldfish-timer clocksource * Registers definition for the goldfish-timer device */ #ifndef _CLOCKSOURCE_TIMER_GOLDFISH_H #define _CLOCKSOURCE_TIMER_GOLDFISH_H /* * TIMER_TIME_LOW get low bits of current time and update TIMER_TIME_HIGH * TIMER_TIME_HIGH get high bits of time at last TIMER_TIME_LOW read * TIMER_ALARM_LOW set low bits of alarm and activate it * TIMER_ALARM_HIGH set high bits of next alarm * TIMER_IRQ_ENABLED enable alarm interrupt * TIMER_CLEAR_ALARM disarm an existing alarm * TIMER_ALARM_STATUS alarm status (running or not) * TIMER_CLEAR_INTERRUPT clear interrupt */ #define TIMER_TIME_LOW 0x00 #define TIMER_TIME_HIGH 0x04 #define TIMER_ALARM_LOW 0x08 #define TIMER_ALARM_HIGH 0x0c #define TIMER_IRQ_ENABLED 0x10 #define TIMER_CLEAR_ALARM 0x14 #define TIMER_ALARM_STATUS 0x18 #define TIMER_CLEAR_INTERRUPT 0x1c extern int goldfish_timer_init(int irq, void __iomem *base); #endif /* _CLOCKSOURCE_TIMER_GOLDFISH_H */