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