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