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 |
14 |