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