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