linux/drivers/clocksource/bcm2835_timer.c

// SPDX-License-Identifier: GPL-2.0+
/*
 * Copyright 2012 Simon Arlott
 */

#include <linux/bitops.h>
#include <linux/clockchips.h>
#include <linux/clocksource.h>
#include <linux/interrupt.h>
#include <linux/irqreturn.h>
#include <linux/kernel.h>
#include <linux/module.h>
#include <linux/of.h>
#include <linux/of_address.h>
#include <linux/of_irq.h>
#include <linux/slab.h>
#include <linux/string.h>
#include <linux/sched_clock.h>

#include <asm/irq.h>

#define REG_CONTROL …
#define REG_COUNTER_LO …
#define REG_COUNTER_HI …
#define REG_COMPARE(n) …
#define MAX_TIMER …
#define DEFAULT_TIMER …

struct bcm2835_timer { … };

static void __iomem *system_clock __read_mostly;

static u64 notrace bcm2835_sched_read(void)
{ … }

static int bcm2835_time_set_next_event(unsigned long event,
	struct clock_event_device *evt_dev)
{ … }

static irqreturn_t bcm2835_time_interrupt(int irq, void *dev_id)
{ … }

static int __init bcm2835_timer_init(struct device_node *node)
{ … }
TIMER_OF_DECLARE(bcm2835, "brcm,bcm2835-system-timer",
			bcm2835_timer_init);