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