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