#include <linux/interrupt.h>
#include <linux/jiffies.h>
#include <linux/clockchips.h>
#include <linux/of_address.h>
#include <linux/of_irq.h>
#define KONA_GPTIMER_STCS_OFFSET 0x00000000
#define KONA_GPTIMER_STCLO_OFFSET 0x00000004
#define KONA_GPTIMER_STCHI_OFFSET 0x00000008
#define KONA_GPTIMER_STCM0_OFFSET 0x0000000C
#define KONA_GPTIMER_STCS_TIMER_MATCH_SHIFT 0
#define KONA_GPTIMER_STCS_COMPARE_ENABLE_SHIFT 4
static struct kona_bcm_timers timers;
static u32 arch_timer_rate;
static void kona_timer_disable_and_clear(void __iomem *base)
reg = readl(base + KONA_GPTIMER_STCS_OFFSET);
reg |= 1 << KONA_GPTIMER_STCS_TIMER_MATCH_SHIFT;
reg &= ~(1 << KONA_GPTIMER_STCS_COMPARE_ENABLE_SHIFT);