1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef __TIMER_IXP4XX_H 3#define __TIMER_IXP4XX_H 4 5#include <linux/ioport.h> 6 7void __init ixp4xx_timer_setup(resource_size_t timerbase, 8 int timer_irq, 9 unsigned int timer_freq); 10 11#endif 12
1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef __TIMER_IXP4XX_H 3#define __TIMER_IXP4XX_H 4 5#include <linux/ioport.h> 6 7void __init ixp4xx_timer_setup(resource_size_t timerbase, 8 int timer_irq, 9 unsigned int timer_freq); 10 11#endif 12