b886d83c5b621 (Thomas Gleixner 2019-06-01 10:08:55 +0200 1) /* SPDX-License-Identifier: GPL-2.0-only */
a38b1f60b5245 (Robert Jarzmik 2014-07-14 18:52:04 +0200 2) /*
a38b1f60b5245 (Robert Jarzmik 2014-07-14 18:52:04 +0200 3) * PXA clocksource, clockevents, and OST interrupt handlers.
a38b1f60b5245 (Robert Jarzmik 2014-07-14 18:52:04 +0200 4) *
a38b1f60b5245 (Robert Jarzmik 2014-07-14 18:52:04 +0200 5) * Copyright (C) 2014 Robert Jarzmik
a38b1f60b5245 (Robert Jarzmik 2014-07-14 18:52:04 +0200 6) */
a38b1f60b5245 (Robert Jarzmik 2014-07-14 18:52:04 +0200 7)
a38b1f60b5245 (Robert Jarzmik 2014-07-14 18:52:04 +0200 8) #ifndef _CLOCKSOURCE_PXA_H
a38b1f60b5245 (Robert Jarzmik 2014-07-14 18:52:04 +0200 9) #define _CLOCKSOURCE_PXA_H
a38b1f60b5245 (Robert Jarzmik 2014-07-14 18:52:04 +0200 10)
f4e14edf25661 (Robert Jarzmik 2016-09-19 21:12:13 +0200 11) extern void pxa_timer_nodt_init(int irq, void __iomem *base);
a38b1f60b5245 (Robert Jarzmik 2014-07-14 18:52:04 +0200 12)
a38b1f60b5245 (Robert Jarzmik 2014-07-14 18:52:04 +0200 13) #endif