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