1 /* 2 * PXA clocksource, clockevents, and OST interrupt handlers. 3 * 4 * Copyright (C) 2014 Robert Jarzmik 5 * 6 * This program is free software; you can redistribute it and/or modify 7 * it under the terms of the GNU General Public License as published by 8 * the Free Software Foundation; version 2 of the License. 9 * 10 */ 11 12 #ifndef _CLOCKSOURCE_PXA_H 13 #define _CLOCKSOURCE_PXA_H 14 15 extern void pxa_timer_nodt_init(int irq, void __iomem *base); 16 17 #endif 18