linux/drivers/clocksource/timer-of.h

/* SPDX-License-Identifier: GPL-2.0 */
#ifndef __TIMER_OF_H__
#define __TIMER_OF_H__

#include <linux/clockchips.h>

#define TIMER_OF_BASE …
#define TIMER_OF_CLOCK …
#define TIMER_OF_IRQ …

struct of_timer_irq { … };

struct of_timer_base { … };

struct of_timer_clk { … };

struct timer_of { … };

static inline struct timer_of *to_timer_of(struct clock_event_device *clkevt)
{ … }

static inline void __iomem *timer_of_base(struct timer_of *to)
{ … }

static inline int timer_of_irq(struct timer_of *to)
{ … }

static inline unsigned long timer_of_rate(struct timer_of *to)
{ … }

static inline unsigned long timer_of_period(struct timer_of *to)
{ … }

extern int __init timer_of_init(struct device_node *np,
				struct timer_of *to);

extern void __init timer_of_cleanup(struct timer_of *to);

#endif