1*458ef442SAlvin Chang /* SPDX-License-Identifier: BSD-2-Clause */ 2*458ef442SAlvin Chang /* 3*458ef442SAlvin Chang * Copyright (c) 2024 Andes Technology Corporation 4*458ef442SAlvin Chang */ 5*458ef442SAlvin Chang #ifndef __DRIVERS_SEMIHOSTING_CONSOLE_H 6*458ef442SAlvin Chang #define __DRIVERS_SEMIHOSTING_CONSOLE_H 7*458ef442SAlvin Chang 8*458ef442SAlvin Chang #ifdef CFG_SEMIHOSTING_CONSOLE 9*458ef442SAlvin Chang /* 10*458ef442SAlvin Chang * Initialize console which uses architecture-specific semihosting mechanism. 11*458ef442SAlvin Chang * If @file_path is not NULL, OP-TEE OS will try to output log to that file, 12*458ef442SAlvin Chang * which is on the semihosting host system. 13*458ef442SAlvin Chang * Otherwise, if @file_path is NULL, OP-TEE OS will try to output log to the 14*458ef442SAlvin Chang * semihosting host debug console. 15*458ef442SAlvin Chang */ 16*458ef442SAlvin Chang void semihosting_console_init(const char *file_path); 17*458ef442SAlvin Chang #else semihosting_console_init(const char * file_path __unused)18*458ef442SAlvin Changstatic inline void semihosting_console_init(const char *file_path __unused) 19*458ef442SAlvin Chang { 20*458ef442SAlvin Chang } 21*458ef442SAlvin Chang #endif 22*458ef442SAlvin Chang 23*458ef442SAlvin Chang #endif /* __DRIVERS_SEMIHOSTING_CONSOLE_H */ 24