1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef __ARM64_KVM_NVHE_SERIAL_H__ 4 #define __ARM64_KVM_NVHE_SERIAL_H__ 5 6 void hyp_puts(const char *s); 7 void hyp_putx64(u64 x); 8 void hyp_putc(char c); 9 int __pkvm_register_serial_driver(void (*driver_cb)(char)); 10 11 #endif 12