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