1 /* SPDX-License-Identifier: GPL-2.0 */
3 * (C) Copyright 2012,2015 Stephen Warren
6 #ifndef _BCM2835_TIMER_H
7 #define _BCM2835_TIMER_H
10 #include <asm/arch/base.h>
11 #include <linux/bug.h>
14 #define BCM2835_TIMER_PHYSADDR ({ BUG_ON(!rpi_bcm283x_base); \
15 rpi_bcm283x_base + 0x00003000; })
17 #define BCM2835_TIMER_CS_M3 (1 << 3)
18 #define BCM2835_TIMER_CS_M2 (1 << 2)
19 #define BCM2835_TIMER_CS_M1 (1 << 1)
20 #define BCM2835_TIMER_CS_M0 (1 << 0)
23 #include <linux/types.h>
25 struct bcm2835_timer_regs {