1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef ASM_IA64_CYCLONE_H
3 #define ASM_IA64_CYCLONE_H
4 
5 #ifdef	CONFIG_IA64_CYCLONE
6 extern int use_cyclone;
7 extern void __init cyclone_setup(void);
8 #else	/* CONFIG_IA64_CYCLONE */
9 #define use_cyclone 0
cyclone_setup(void)10 static inline void cyclone_setup(void)
11 {
12 	printk(KERN_ERR "Cyclone Counter: System not configured"
13 					" w/ CONFIG_IA64_CYCLONE.\n");
14 }
15 #endif	/* CONFIG_IA64_CYCLONE */
16 #endif	/* !ASM_IA64_CYCLONE_H */
17