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