drivers/clocksource/timer-npcm7xx.c

1 // SPDX-License-Identifier: GPL-2.0
3  * Copyright (C) 2014-2018 Nuvoton Technologies tomer.maimon@nuvoton.com
19 #include "timer-of.h"
22 #define NPCM7XX_REG_TCSR0	0x0 /* Timer 0 Control and Status Register */
23 #define NPCM7XX_REG_TICR0	0x8 /* Timer 0 Initial Count Register */
24 #define NPCM7XX_REG_TCSR1	0x4 /* Timer 1 Control and Status Register */
25 #define NPCM7XX_REG_TICR1	0xc /* Timer 1 Initial Count Register */
26 #define NPCM7XX_REG_TDR1	0x14 /* Timer 1 Data Register */
27 #define NPCM7XX_REG_TISR	0x18 /* Timer Interrupt Status Register */
129 	evt->event_handler(evt);  in npcm7xx_timer0_interrupt()
138 		.name		    = "npcm7xx-timer0",
184 				"npcm7xx-timer1", timer_of_rate(&npcm7xx_to),  in npcm7xx_clocksource_init()
215 	pr_info("Enabling NPCM7xx clocksource timer base: %px, IRQ: %d ",  in npcm7xx_timer_init()
221 TIMER_OF_DECLARE(wpcm450, "nuvoton,wpcm450-timer", npcm7xx_timer_init);
222 TIMER_OF_DECLARE(npcm7xx, "nuvoton,npcm750-timer", npcm7xx_timer_init);