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