1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * PXA clocksource, clockevents, and OST interrupt handlers.
5 * Copyright (C) 2014 Robert Jarzmik
8 #ifndef _CLOCKSOURCE_PXA_H
9 #define _CLOCKSOURCE_PXA_H
11 extern void pxa_timer_nodt_init(int irq
, void __iomem
*base
);