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