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