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
 6extern int use_cyclone;
 7extern void __init cyclone_setup(void);
 8#else	/* CONFIG_IA64_CYCLONE */
 9#define use_cyclone 0
10static 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 */