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
24struct 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