#include <linux/of.h>
#include <linux/of_address.h>
#include <linux/clockchips.h>
#define RATE_32K …
#define TIMER_MODE_CONTINUOUS …
#define TIMER_DOWNCOUNT_VAL …
#define PRCMU_TIMER_REF …
#define PRCMU_TIMER_DOWNCOUNT …
#define PRCMU_TIMER_MODE …
static void __iomem *clksrc_dbx500_timer_base;
static u64 notrace clksrc_dbx500_prcmu_read(struct clocksource *cs)
{ … }
static struct clocksource clocksource_dbx500_prcmu = …;
static int __init clksrc_dbx500_prcmu_init(struct device_node *node)
{ … }
TIMER_OF_DECLARE(dbx500_prcmu, "stericsson,db8500-prcmu-timer-4",
clksrc_dbx500_prcmu_init);