32 lines
1007 B
C
32 lines
1007 B
C
/* 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 */
|