14 lines · c
1/* SPDX-License-Identifier: GPL-2.0-only */2/*3 * PXA clocksource, clockevents, and OST interrupt handlers.4 *5 * Copyright (C) 2014 Robert Jarzmik6 */7 8#ifndef _CLOCKSOURCE_PXA_H9#define _CLOCKSOURCE_PXA_H10 11extern void pxa_timer_nodt_init(int irq, void __iomem *base);12 13#endif14