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