1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASMIA64_HPSIM_H
3 #define _ASMIA64_HPSIM_H
4 
5 #ifndef CONFIG_HP_SIMSERIAL_CONSOLE
simcons_register(void)6 static inline int simcons_register(void) { return 1; }
7 #else
8 int simcons_register(void);
9 #endif
10 
11 struct tty_driver;
12 extern struct tty_driver *hp_simserial_driver;
13 
14 extern int hpsim_get_irq(int intr);
15 void ia64_ctl_trace(long on);
16 
17 #endif
18