1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * (C) Copyright 2012,2015 Stephen Warren
4  */
5 
6 #ifndef _BCM2835_TIMER_H
7 #define _BCM2835_TIMER_H
8 
9 #ifndef __ASSEMBLY__
10 #include <asm/arch/base.h>
11 #include <linux/bug.h>
12 #endif
13 
14 #define BCM2835_TIMER_PHYSADDR	rpi_timer_base
15 
16 #define BCM2835_TIMER_CS_M3	(1 << 3)
17 #define BCM2835_TIMER_CS_M2	(1 << 2)
18 #define BCM2835_TIMER_CS_M1	(1 << 1)
19 #define BCM2835_TIMER_CS_M0	(1 << 0)
20 
21 #ifndef __ASSEMBLY__
22 #include <linux/types.h>
23 
24 struct bcm2835_timer_regs {
25 	u32 cs;
26 	u32 clo;
27 	u32 chi;
28 	u32 c0;
29 	u32 c1;
30 	u32 c2;
31 	u32 c3;
32 };
33 #endif
34 
35 #endif
36