| Server IP : 13.235.167.51 / Your IP : 216.73.217.116 Web Server : Apache System : Linux machinox-server 6.17.0-1013-aws #13~24.04.1-Ubuntu SMP Fri Apr 24 21:36:58 UTC 2026 aarch64 User : root ( 0) PHP Version : 8.2.29 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : OFF Directory : /lib/modules/6.17.0-1013-aws/build/include/clocksource/ |
Upload File : |
/* 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 */