| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| /* | |
| * PXA clocksource, clockevents, and OST interrupt handlers. | |
| * | |
| * Copyright (C) 2014 Robert Jarzmik | |
| */ | |
| #ifndef _CLOCKSOURCE_PXA_H | |
| #define _CLOCKSOURCE_PXA_H | |
| extern void pxa_timer_nodt_init(int irq, void __iomem *base); | |
| #endif |