1 /* SPDX-License-Identifier: GPL-2.0 */
3 * goldfish-timer clocksource
4 * Registers definition for the goldfish-timer device
7 #ifndef _CLOCKSOURCE_TIMER_GOLDFISH_H
8 #define _CLOCKSOURCE_TIMER_GOLDFISH_H
11 * TIMER_TIME_LOW get low bits of current time and update TIMER_TIME_HIGH
12 * TIMER_TIME_HIGH get high bits of time at last TIMER_TIME_LOW read
13 * TIMER_ALARM_LOW set low bits of alarm and activate it
14 * TIMER_ALARM_HIGH set high bits of next alarm
15 * TIMER_IRQ_ENABLED enable alarm interrupt
16 * TIMER_CLEAR_ALARM disarm an existing alarm
17 * TIMER_ALARM_STATUS alarm status (running or not)
18 * TIMER_CLEAR_INTERRUPT clear interrupt
20 #define TIMER_TIME_LOW 0x00
21 #define TIMER_TIME_HIGH 0x04
22 #define TIMER_ALARM_LOW 0x08
23 #define TIMER_ALARM_HIGH 0x0c
24 #define TIMER_IRQ_ENABLED 0x10
25 #define TIMER_CLEAR_ALARM 0x14
26 #define TIMER_ALARM_STATUS 0x18
27 #define TIMER_CLEAR_INTERRUPT 0x1c
29 extern int goldfish_timer_init(int irq, void __iomem *base);
31 #endif /* _CLOCKSOURCE_TIMER_GOLDFISH_H */