4 * Copyright (c) 2015 Imagination Technologies
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2.1 of the License, or (at your option) any later version.
11 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
23 typedef enum SemihostingTarget
{
24 SEMIHOSTING_TARGET_AUTO
= 0,
25 SEMIHOSTING_TARGET_NATIVE
,
26 SEMIHOSTING_TARGET_GDB
29 #ifdef CONFIG_USER_ONLY
30 static inline bool semihosting_enabled(bool is_user
)
35 static inline SemihostingTarget
semihosting_get_target(void)
37 return SEMIHOSTING_TARGET_AUTO
;
40 static inline const char *semihosting_get_arg(int i
)
45 static inline int semihosting_get_argc(void)
50 static inline const char *semihosting_get_cmdline(void)
54 #else /* !CONFIG_USER_ONLY */
56 * semihosting_enabled:
57 * @is_user: true if guest code is in usermode (i.e. not privileged)
59 * Return true if guest code is allowed to make semihosting calls.
61 bool semihosting_enabled(bool is_user
);
62 SemihostingTarget
semihosting_get_target(void);
63 const char *semihosting_get_arg(int i
);
64 int semihosting_get_argc(void);
65 const char *semihosting_get_cmdline(void);
66 void semihosting_arg_fallback(const char *file
, const char *cmd
);
68 void qemu_semihosting_enable(void);
69 int qemu_semihosting_config_options(const char *optstr
);
70 void qemu_semihosting_chardev_init(void);
71 void qemu_semihosting_console_init(Chardev
*);
72 #endif /* CONFIG_USER_ONLY */
73 void qemu_semihosting_guestfd_init(void);
75 #endif /* SEMIHOST_H */