include/clocksource/pxa.h

0001 /* SPDX-License-Identifier: GPL-2.0-only */
0002 /*
0003  * PXA clocksource, clockevents, and OST interrupt handlers.
0004  *
0005  * Copyright (C) 2014 Robert Jarzmik
0006  */
0007
0008 #ifndef _CLOCKSOURCE_PXA_H
0009 #define _CLOCKSOURCE_PXA_H
0010
0011 extern void pxa_timer_nodt_init(int irq, void __iomem *base);
0012
0013 #endif