u-boot/arch/arm/mach-bcm283x/include/mach/timer.h

/*
 * (C) Copyright 2012,2015 Stephen Warren
 *
 * SPDX-License-Identifier:	GPL-2.0
 */

#ifndef _BCM2835_TIMER_H
#define _BCM2835_TIMER_H

#ifndef CONFIG_BCM2835
#define BCM2835_TIMER_PHYSADDR	0x3f003000
#else
#define BCM2835_TIMER_PHYSADDR	0x20003000
#endif

#define BCM2835_TIMER_CS_M3	(1 << 3)
#define BCM2835_TIMER_CS_M2	(1 << 2)
#define BCM2835_TIMER_CS_M1	(1 << 1)
#define BCM2835_TIMER_CS_M0	(1 << 0)

#ifndef __ASSEMBLY__
#include <linux/types.h>

struct bcm2835_timer_regs {
	u32 cs;
	u32 clo;
	u32 chi;
	u32 c0;
	u32 c1;
	u32 c2;
	u32 c3;
};

extern ulong get_timer_us(ulong base);

#endif

#endif