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 18