1 /* SPDX-License-Identifier: GPL-2.0 */
5 #include <linux/init.h>
7 extern void __init
mv64x60_init_irq(void);
8 extern unsigned int mv64x60_get_irq(void);
10 extern void __init
mv64x60_pci_init(void);
11 extern void __init
mv64x60_init_early(void);
13 #endif /* __MV64X60_H__ */