18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#ifndef XEN_HVC_CONSOLE_H 38c2ecf20Sopenharmony_ci#define XEN_HVC_CONSOLE_H 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ciextern struct console xenboot_console; 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ci#ifdef CONFIG_HVC_XEN 88c2ecf20Sopenharmony_civoid xen_console_resume(void); 98c2ecf20Sopenharmony_civoid xen_raw_console_write(const char *str); 108c2ecf20Sopenharmony_ci__printf(1, 2) 118c2ecf20Sopenharmony_civoid xen_raw_printk(const char *fmt, ...); 128c2ecf20Sopenharmony_ci#else 138c2ecf20Sopenharmony_cistatic inline void xen_console_resume(void) { } 148c2ecf20Sopenharmony_cistatic inline void xen_raw_console_write(const char *str) { } 158c2ecf20Sopenharmony_cistatic inline __printf(1, 2) 168c2ecf20Sopenharmony_civoid xen_raw_printk(const char *fmt, ...) { } 178c2ecf20Sopenharmony_ci#endif 188c2ecf20Sopenharmony_ci 198c2ecf20Sopenharmony_ci#endif /* XEN_HVC_CONSOLE_H */ 20