1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * goldfish-timer clocksource
4  * Registers definition for the goldfish-timer device
5  */
6 
7 #ifndef _CLOCKSOURCE_TIMER_GOLDFISH_H
8 #define _CLOCKSOURCE_TIMER_GOLDFISH_H
9 
10 /*
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
19  */
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
28 
29 extern int goldfish_timer_init(int irq, void __iomem *base);
30 
31 #endif /* _CLOCKSOURCE_TIMER_GOLDFISH_H */
32