1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASMIA64_HPSIM_H
3 #define _ASMIA64_HPSIM_H
5 #ifndef CONFIG_HP_SIMSERIAL_CONSOLE
6 static inline int simcons_register(void) { return 1; }
8 int simcons_register(void);
12 extern struct tty_driver
*hp_simserial_driver
;
14 extern int hpsim_get_irq(int intr
);
15 void ia64_ctl_trace(long on
);