/* SPDX-License-Identifier: GPL-2.0 */ #ifndef ASM_IA64_CYCLONE_H #define ASM_IA64_CYCLONE_H #ifdef CONFIG_IA64_CYCLONE extern int use_cyclone; extern void __init cyclone_setup(void); #else /* CONFIG_IA64_CYCLONE */ #define use_cyclone 0 static inline void cyclone_setup(void) { printk(KERN_ERR "Cyclone Counter: System not configured" " w/ CONFIG_IA64_CYCLONE.\n"); } #endif /* CONFIG_IA64_CYCLONE */ #endif /* !ASM_IA64_CYCLONE_H */