| /* 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 */ |