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