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