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