xref: /qemu/target/mips/tcg/sysemu/mips-semi.c (revision f14eced5)
1ad520a97SPhilippe Mathieu-Daudé /*
2ad520a97SPhilippe Mathieu-Daudé  * Unified Hosting Interface syscalls.
3ad520a97SPhilippe Mathieu-Daudé  *
4ad520a97SPhilippe Mathieu-Daudé  * Copyright (c) 2015 Imagination Technologies
5ad520a97SPhilippe Mathieu-Daudé  *
6ad520a97SPhilippe Mathieu-Daudé  * This library is free software; you can redistribute it and/or
7ad520a97SPhilippe Mathieu-Daudé  * modify it under the terms of the GNU Lesser General Public
8ad520a97SPhilippe Mathieu-Daudé  * License as published by the Free Software Foundation; either
9ad520a97SPhilippe Mathieu-Daudé  * version 2.1 of the License, or (at your option) any later version.
10ad520a97SPhilippe Mathieu-Daudé  *
11ad520a97SPhilippe Mathieu-Daudé  * This library is distributed in the hope that it will be useful,
12ad520a97SPhilippe Mathieu-Daudé  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13ad520a97SPhilippe Mathieu-Daudé  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14ad520a97SPhilippe Mathieu-Daudé  * Lesser General Public License for more details.
15ad520a97SPhilippe Mathieu-Daudé  *
16ad520a97SPhilippe Mathieu-Daudé  * You should have received a copy of the GNU Lesser General Public
17ad520a97SPhilippe Mathieu-Daudé  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18ad520a97SPhilippe Mathieu-Daudé  */
19ad520a97SPhilippe Mathieu-Daudé 
20ad520a97SPhilippe Mathieu-Daudé #include "qemu/osdep.h"
21ad520a97SPhilippe Mathieu-Daudé #include "cpu.h"
22ad520a97SPhilippe Mathieu-Daudé #include "qemu/log.h"
23c566080cSAlex Bennée #include "gdbstub/syscalls.h"
244ea5fe99SAlex Bennée #include "gdbstub/helpers.h"
25f14eced5SPhilippe Mathieu-Daudé #include "semihosting/uaccess.h"
26ad520a97SPhilippe Mathieu-Daudé #include "semihosting/semihost.h"
27ad520a97SPhilippe Mathieu-Daudé #include "semihosting/console.h"
2818639a28SRichard Henderson #include "semihosting/syscalls.h"
298ec7e3c5SRichard Henderson #include "internal.h"
30ad520a97SPhilippe Mathieu-Daudé 
31ad520a97SPhilippe Mathieu-Daudé typedef enum UHIOp {
32ad520a97SPhilippe Mathieu-Daudé     UHI_exit = 1,
33ad520a97SPhilippe Mathieu-Daudé     UHI_open = 2,
34ad520a97SPhilippe Mathieu-Daudé     UHI_close = 3,
35ad520a97SPhilippe Mathieu-Daudé     UHI_read = 4,
36ad520a97SPhilippe Mathieu-Daudé     UHI_write = 5,
37ad520a97SPhilippe Mathieu-Daudé     UHI_lseek = 6,
38ad520a97SPhilippe Mathieu-Daudé     UHI_unlink = 7,
39ad520a97SPhilippe Mathieu-Daudé     UHI_fstat = 8,
40ad520a97SPhilippe Mathieu-Daudé     UHI_argc = 9,
41ad520a97SPhilippe Mathieu-Daudé     UHI_argnlen = 10,
42ad520a97SPhilippe Mathieu-Daudé     UHI_argn = 11,
43ad520a97SPhilippe Mathieu-Daudé     UHI_plog = 13,
44ad520a97SPhilippe Mathieu-Daudé     UHI_assert = 14,
45ad520a97SPhilippe Mathieu-Daudé     UHI_pread = 19,
46ad520a97SPhilippe Mathieu-Daudé     UHI_pwrite = 20,
47ad520a97SPhilippe Mathieu-Daudé     UHI_link = 22
48ad520a97SPhilippe Mathieu-Daudé } UHIOp;
49ad520a97SPhilippe Mathieu-Daudé 
50ad520a97SPhilippe Mathieu-Daudé typedef struct UHIStat {
51ad520a97SPhilippe Mathieu-Daudé     int16_t uhi_st_dev;
52ad520a97SPhilippe Mathieu-Daudé     uint16_t uhi_st_ino;
53ad520a97SPhilippe Mathieu-Daudé     uint32_t uhi_st_mode;
54ad520a97SPhilippe Mathieu-Daudé     uint16_t uhi_st_nlink;
55ad520a97SPhilippe Mathieu-Daudé     uint16_t uhi_st_uid;
56ad520a97SPhilippe Mathieu-Daudé     uint16_t uhi_st_gid;
57ad520a97SPhilippe Mathieu-Daudé     int16_t uhi_st_rdev;
58ad520a97SPhilippe Mathieu-Daudé     uint64_t uhi_st_size;
59ad520a97SPhilippe Mathieu-Daudé     uint64_t uhi_st_atime;
60ad520a97SPhilippe Mathieu-Daudé     uint64_t uhi_st_spare1;
61ad520a97SPhilippe Mathieu-Daudé     uint64_t uhi_st_mtime;
62ad520a97SPhilippe Mathieu-Daudé     uint64_t uhi_st_spare2;
63ad520a97SPhilippe Mathieu-Daudé     uint64_t uhi_st_ctime;
64ad520a97SPhilippe Mathieu-Daudé     uint64_t uhi_st_spare3;
65ad520a97SPhilippe Mathieu-Daudé     uint64_t uhi_st_blksize;
66ad520a97SPhilippe Mathieu-Daudé     uint64_t uhi_st_blocks;
67ad520a97SPhilippe Mathieu-Daudé     uint64_t uhi_st_spare4[2];
68ad520a97SPhilippe Mathieu-Daudé } UHIStat;
69ad520a97SPhilippe Mathieu-Daudé 
70ad520a97SPhilippe Mathieu-Daudé enum UHIOpenFlags {
71ad520a97SPhilippe Mathieu-Daudé     UHIOpen_RDONLY = 0x0,
72ad520a97SPhilippe Mathieu-Daudé     UHIOpen_WRONLY = 0x1,
73ad520a97SPhilippe Mathieu-Daudé     UHIOpen_RDWR   = 0x2,
74ad520a97SPhilippe Mathieu-Daudé     UHIOpen_APPEND = 0x8,
75ad520a97SPhilippe Mathieu-Daudé     UHIOpen_CREAT  = 0x200,
76ad520a97SPhilippe Mathieu-Daudé     UHIOpen_TRUNC  = 0x400,
77ad520a97SPhilippe Mathieu-Daudé     UHIOpen_EXCL   = 0x800
78ad520a97SPhilippe Mathieu-Daudé };
79ad520a97SPhilippe Mathieu-Daudé 
807ba6e53aSRichard Henderson enum UHIErrno {
817ba6e53aSRichard Henderson     UHI_EACCESS         = 13,
827ba6e53aSRichard Henderson     UHI_EAGAIN          = 11,
837ba6e53aSRichard Henderson     UHI_EBADF           = 9,
847ba6e53aSRichard Henderson     UHI_EBADMSG         = 77,
857ba6e53aSRichard Henderson     UHI_EBUSY           = 16,
867ba6e53aSRichard Henderson     UHI_ECONNRESET      = 104,
877ba6e53aSRichard Henderson     UHI_EEXIST          = 17,
887ba6e53aSRichard Henderson     UHI_EFBIG           = 27,
897ba6e53aSRichard Henderson     UHI_EINTR           = 4,
907ba6e53aSRichard Henderson     UHI_EINVAL          = 22,
917ba6e53aSRichard Henderson     UHI_EIO             = 5,
927ba6e53aSRichard Henderson     UHI_EISDIR          = 21,
937ba6e53aSRichard Henderson     UHI_ELOOP           = 92,
947ba6e53aSRichard Henderson     UHI_EMFILE          = 24,
957ba6e53aSRichard Henderson     UHI_EMLINK          = 31,
967ba6e53aSRichard Henderson     UHI_ENAMETOOLONG    = 91,
977ba6e53aSRichard Henderson     UHI_ENETDOWN        = 115,
987ba6e53aSRichard Henderson     UHI_ENETUNREACH     = 114,
997ba6e53aSRichard Henderson     UHI_ENFILE          = 23,
1007ba6e53aSRichard Henderson     UHI_ENOBUFS         = 105,
1017ba6e53aSRichard Henderson     UHI_ENOENT          = 2,
1027ba6e53aSRichard Henderson     UHI_ENOMEM          = 12,
1037ba6e53aSRichard Henderson     UHI_ENOSPC          = 28,
1047ba6e53aSRichard Henderson     UHI_ENOSR           = 63,
1057ba6e53aSRichard Henderson     UHI_ENOTCONN        = 128,
1067ba6e53aSRichard Henderson     UHI_ENOTDIR         = 20,
1077ba6e53aSRichard Henderson     UHI_ENXIO           = 6,
1087ba6e53aSRichard Henderson     UHI_EOVERFLOW       = 139,
1097ba6e53aSRichard Henderson     UHI_EPERM           = 1,
1107ba6e53aSRichard Henderson     UHI_EPIPE           = 32,
1117ba6e53aSRichard Henderson     UHI_ERANGE          = 34,
1127ba6e53aSRichard Henderson     UHI_EROFS           = 30,
1137ba6e53aSRichard Henderson     UHI_ESPIPE          = 29,
1147ba6e53aSRichard Henderson     UHI_ETIMEDOUT       = 116,
1157ba6e53aSRichard Henderson     UHI_ETXTBSY         = 26,
1167ba6e53aSRichard Henderson     UHI_EWOULDBLOCK     = 11,
1177ba6e53aSRichard Henderson     UHI_EXDEV           = 18,
1187ba6e53aSRichard Henderson };
1197ba6e53aSRichard Henderson 
report_fault(CPUMIPSState * env)120d53a3ed4SRichard Henderson static void report_fault(CPUMIPSState *env)
121d53a3ed4SRichard Henderson {
122d53a3ed4SRichard Henderson     int op = env->active_tc.gpr[25];
123d53a3ed4SRichard Henderson     error_report("Fault during UHI operation %d", op);
124d53a3ed4SRichard Henderson     abort();
125d53a3ed4SRichard Henderson }
126d53a3ed4SRichard Henderson 
uhi_cb(CPUState * cs,uint64_t ret,int err)12718639a28SRichard Henderson static void uhi_cb(CPUState *cs, uint64_t ret, int err)
128d859a77dSPhilippe Mathieu-Daudé {
129b77af26eSRichard Henderson     CPUMIPSState *env = cpu_env(cs);
13018639a28SRichard Henderson 
13118639a28SRichard Henderson #define E(N) case E##N: err = UHI_E##N; break
13218639a28SRichard Henderson 
13318639a28SRichard Henderson     switch (err) {
13418639a28SRichard Henderson     case 0:
13518639a28SRichard Henderson         break;
13618639a28SRichard Henderson     E(PERM);
13718639a28SRichard Henderson     E(NOENT);
13818639a28SRichard Henderson     E(INTR);
13918639a28SRichard Henderson     E(BADF);
14018639a28SRichard Henderson     E(BUSY);
14118639a28SRichard Henderson     E(EXIST);
14218639a28SRichard Henderson     E(NOTDIR);
14318639a28SRichard Henderson     E(ISDIR);
14418639a28SRichard Henderson     E(INVAL);
14518639a28SRichard Henderson     E(NFILE);
14618639a28SRichard Henderson     E(MFILE);
14718639a28SRichard Henderson     E(FBIG);
14818639a28SRichard Henderson     E(NOSPC);
14918639a28SRichard Henderson     E(SPIPE);
15018639a28SRichard Henderson     E(ROFS);
15118639a28SRichard Henderson     E(NAMETOOLONG);
15218639a28SRichard Henderson     default:
15318639a28SRichard Henderson         err = UHI_EINVAL;
15418639a28SRichard Henderson         break;
15518639a28SRichard Henderson     case EFAULT:
15618639a28SRichard Henderson         report_fault(env);
157ad520a97SPhilippe Mathieu-Daudé     }
158ad520a97SPhilippe Mathieu-Daudé 
15918639a28SRichard Henderson #undef E
16018639a28SRichard Henderson 
16118639a28SRichard Henderson     env->active_tc.gpr[2] = ret;
16218639a28SRichard Henderson     env->active_tc.gpr[3] = err;
16318639a28SRichard Henderson }
16418639a28SRichard Henderson 
uhi_fstat_cb(CPUState * cs,uint64_t ret,int err)16518639a28SRichard Henderson static void uhi_fstat_cb(CPUState *cs, uint64_t ret, int err)
166ad520a97SPhilippe Mathieu-Daudé {
16718639a28SRichard Henderson     QEMU_BUILD_BUG_ON(sizeof(UHIStat) < sizeof(struct gdb_stat));
16818639a28SRichard Henderson 
16918639a28SRichard Henderson     if (!err) {
170b77af26eSRichard Henderson         CPUMIPSState *env = cpu_env(cs);
17118639a28SRichard Henderson         target_ulong addr = env->active_tc.gpr[5];
17218639a28SRichard Henderson         UHIStat *dst = lock_user(VERIFY_WRITE, addr, sizeof(UHIStat), 1);
17318639a28SRichard Henderson         struct gdb_stat s;
17418639a28SRichard Henderson 
175ad520a97SPhilippe Mathieu-Daudé         if (!dst) {
176d53a3ed4SRichard Henderson             report_fault(env);
177ad520a97SPhilippe Mathieu-Daudé         }
178ad520a97SPhilippe Mathieu-Daudé 
17918639a28SRichard Henderson         memcpy(&s, dst, sizeof(struct gdb_stat));
18018639a28SRichard Henderson         memset(dst, 0, sizeof(UHIStat));
18118639a28SRichard Henderson 
18218639a28SRichard Henderson         dst->uhi_st_dev = tswap16(be32_to_cpu(s.gdb_st_dev));
18318639a28SRichard Henderson         dst->uhi_st_ino = tswap16(be32_to_cpu(s.gdb_st_ino));
18418639a28SRichard Henderson         dst->uhi_st_mode = tswap32(be32_to_cpu(s.gdb_st_mode));
18518639a28SRichard Henderson         dst->uhi_st_nlink = tswap16(be32_to_cpu(s.gdb_st_nlink));
18618639a28SRichard Henderson         dst->uhi_st_uid = tswap16(be32_to_cpu(s.gdb_st_uid));
18718639a28SRichard Henderson         dst->uhi_st_gid = tswap16(be32_to_cpu(s.gdb_st_gid));
18818639a28SRichard Henderson         dst->uhi_st_rdev = tswap16(be32_to_cpu(s.gdb_st_rdev));
18918639a28SRichard Henderson         dst->uhi_st_size = tswap64(be64_to_cpu(s.gdb_st_size));
19018639a28SRichard Henderson         dst->uhi_st_atime = tswap64(be32_to_cpu(s.gdb_st_atime));
19118639a28SRichard Henderson         dst->uhi_st_mtime = tswap64(be32_to_cpu(s.gdb_st_mtime));
19218639a28SRichard Henderson         dst->uhi_st_ctime = tswap64(be32_to_cpu(s.gdb_st_ctime));
19318639a28SRichard Henderson         dst->uhi_st_blksize = tswap64(be64_to_cpu(s.gdb_st_blksize));
19418639a28SRichard Henderson         dst->uhi_st_blocks = tswap64(be64_to_cpu(s.gdb_st_blocks));
19518639a28SRichard Henderson 
19618639a28SRichard Henderson         unlock_user(dst, addr, sizeof(UHIStat));
197ad520a97SPhilippe Mathieu-Daudé     }
198ad520a97SPhilippe Mathieu-Daudé 
19918639a28SRichard Henderson     uhi_cb(cs, ret, err);
200ad520a97SPhilippe Mathieu-Daudé }
201ad520a97SPhilippe Mathieu-Daudé 
mips_semihosting(CPUMIPSState * env)2028ec7e3c5SRichard Henderson void mips_semihosting(CPUMIPSState *env)
203ad520a97SPhilippe Mathieu-Daudé {
20418639a28SRichard Henderson     CPUState *cs = env_cpu(env);
205ad520a97SPhilippe Mathieu-Daudé     target_ulong *gpr = env->active_tc.gpr;
206ad520a97SPhilippe Mathieu-Daudé     const UHIOp op = gpr[25];
207412411b3SRichard Henderson     char *p;
208ad520a97SPhilippe Mathieu-Daudé 
209ad520a97SPhilippe Mathieu-Daudé     switch (op) {
210ad520a97SPhilippe Mathieu-Daudé     case UHI_exit:
21118639a28SRichard Henderson         gdb_exit(gpr[4]);
212ad520a97SPhilippe Mathieu-Daudé         exit(gpr[4]);
21318639a28SRichard Henderson 
214ad520a97SPhilippe Mathieu-Daudé     case UHI_open:
21518639a28SRichard Henderson         {
216b10ccec1SRichard Henderson             target_ulong fname = gpr[4];
21718639a28SRichard Henderson             int ret = -1;
21818639a28SRichard Henderson 
219b10ccec1SRichard Henderson             p = lock_user_string(fname);
220b10ccec1SRichard Henderson             if (!p) {
221b10ccec1SRichard Henderson                 report_fault(env);
222b10ccec1SRichard Henderson             }
223ad520a97SPhilippe Mathieu-Daudé             if (!strcmp("/dev/stdin", p)) {
22418639a28SRichard Henderson                 ret = 0;
225ad520a97SPhilippe Mathieu-Daudé             } else if (!strcmp("/dev/stdout", p)) {
22618639a28SRichard Henderson                 ret = 1;
227ad520a97SPhilippe Mathieu-Daudé             } else if (!strcmp("/dev/stderr", p)) {
22818639a28SRichard Henderson                 ret = 2;
229ad520a97SPhilippe Mathieu-Daudé             }
230b10ccec1SRichard Henderson             unlock_user(p, fname, 0);
23118639a28SRichard Henderson 
23218639a28SRichard Henderson             /* FIXME: reusing a guest fd doesn't seem correct. */
23318639a28SRichard Henderson             if (ret >= 0) {
23418639a28SRichard Henderson                 gpr[2] = ret;
235ad520a97SPhilippe Mathieu-Daudé                 break;
236ad520a97SPhilippe Mathieu-Daudé             }
23718639a28SRichard Henderson 
238b10ccec1SRichard Henderson             semihost_sys_open(cs, uhi_cb, fname, 0, gpr[5], gpr[6]);
23918639a28SRichard Henderson         }
24018639a28SRichard Henderson         break;
24118639a28SRichard Henderson 
24218639a28SRichard Henderson     case UHI_close:
24318639a28SRichard Henderson         semihost_sys_close(cs, uhi_cb, gpr[4]);
244ad520a97SPhilippe Mathieu-Daudé         break;
245ad520a97SPhilippe Mathieu-Daudé     case UHI_read:
24618639a28SRichard Henderson         semihost_sys_read(cs, uhi_cb, gpr[4], gpr[5], gpr[6]);
247ad520a97SPhilippe Mathieu-Daudé         break;
248ad520a97SPhilippe Mathieu-Daudé     case UHI_write:
24918639a28SRichard Henderson         semihost_sys_write(cs, uhi_cb, gpr[4], gpr[5], gpr[6]);
250ad520a97SPhilippe Mathieu-Daudé         break;
251ad520a97SPhilippe Mathieu-Daudé     case UHI_lseek:
25218639a28SRichard Henderson         semihost_sys_lseek(cs, uhi_cb, gpr[4], gpr[5], gpr[6]);
253ad520a97SPhilippe Mathieu-Daudé         break;
254ad520a97SPhilippe Mathieu-Daudé     case UHI_unlink:
25518639a28SRichard Henderson         semihost_sys_remove(cs, uhi_cb, gpr[4], 0);
256ad520a97SPhilippe Mathieu-Daudé         break;
257ad520a97SPhilippe Mathieu-Daudé     case UHI_fstat:
25818639a28SRichard Henderson         semihost_sys_fstat(cs, uhi_fstat_cb, gpr[4], gpr[5]);
259ad520a97SPhilippe Mathieu-Daudé         break;
26018639a28SRichard Henderson 
261ad520a97SPhilippe Mathieu-Daudé     case UHI_argc:
262ad520a97SPhilippe Mathieu-Daudé         gpr[2] = semihosting_get_argc();
263ad520a97SPhilippe Mathieu-Daudé         break;
264ad520a97SPhilippe Mathieu-Daudé     case UHI_argnlen:
2653bb45bbcSRichard Henderson         {
2663bb45bbcSRichard Henderson             const char *s = semihosting_get_arg(gpr[4]);
2673bb45bbcSRichard Henderson             gpr[2] = s ? strlen(s) : -1;
268ad520a97SPhilippe Mathieu-Daudé         }
269ad520a97SPhilippe Mathieu-Daudé         break;
270ad520a97SPhilippe Mathieu-Daudé     case UHI_argn:
2713bb45bbcSRichard Henderson         {
2723bb45bbcSRichard Henderson             const char *s = semihosting_get_arg(gpr[4]);
2733bb45bbcSRichard Henderson             target_ulong addr;
2743bb45bbcSRichard Henderson             size_t len;
2753bb45bbcSRichard Henderson 
2763bb45bbcSRichard Henderson             if (!s) {
277ad520a97SPhilippe Mathieu-Daudé                 gpr[2] = -1;
2783bb45bbcSRichard Henderson                 break;
279ad520a97SPhilippe Mathieu-Daudé             }
2803bb45bbcSRichard Henderson             len = strlen(s) + 1;
2813bb45bbcSRichard Henderson             addr = gpr[5];
2823bb45bbcSRichard Henderson             p = lock_user(VERIFY_WRITE, addr, len, 0);
2833bb45bbcSRichard Henderson             if (!p) {
2843bb45bbcSRichard Henderson                 report_fault(env);
2853bb45bbcSRichard Henderson             }
2863bb45bbcSRichard Henderson             memcpy(p, s, len);
2873bb45bbcSRichard Henderson             unlock_user(p, addr, len);
2883bb45bbcSRichard Henderson             gpr[2] = 0;
2893bb45bbcSRichard Henderson         }
290ad520a97SPhilippe Mathieu-Daudé         break;
291ea421060SRichard Henderson 
292ad520a97SPhilippe Mathieu-Daudé     case UHI_plog:
293ea421060SRichard Henderson         {
294ea421060SRichard Henderson             target_ulong addr = gpr[4];
295ea421060SRichard Henderson             ssize_t len = target_strlen(addr);
296ea421060SRichard Henderson             GString *str;
297ea421060SRichard Henderson             char *pct_d;
298ea421060SRichard Henderson 
299ea421060SRichard Henderson             if (len < 0) {
300ea421060SRichard Henderson                 report_fault(env);
301ad520a97SPhilippe Mathieu-Daudé             }
302ea421060SRichard Henderson             p = lock_user(VERIFY_READ, addr, len, 1);
303ea421060SRichard Henderson             if (!p) {
304ea421060SRichard Henderson                 report_fault(env);
305ea421060SRichard Henderson             }
306ea421060SRichard Henderson 
307ea421060SRichard Henderson             pct_d = strstr(p, "%d");
308ea421060SRichard Henderson             if (!pct_d) {
309b10ccec1SRichard Henderson                 unlock_user(p, addr, 0);
310ea421060SRichard Henderson                 semihost_sys_write(cs, uhi_cb, 2, addr, len);
311ad520a97SPhilippe Mathieu-Daudé                 break;
312ea421060SRichard Henderson             }
313ea421060SRichard Henderson 
314ea421060SRichard Henderson             str = g_string_new_len(p, pct_d - p);
315ea421060SRichard Henderson             g_string_append_printf(str, "%d%s", (int)gpr[5], pct_d + 2);
316b10ccec1SRichard Henderson             unlock_user(p, addr, 0);
317ea421060SRichard Henderson 
318ea421060SRichard Henderson             /*
319ea421060SRichard Henderson              * When we're using gdb, we need a guest address, so
320ea421060SRichard Henderson              * drop the string onto the stack below the stack pointer.
321ea421060SRichard Henderson              */
322ea421060SRichard Henderson             if (use_gdb_syscalls()) {
323ea421060SRichard Henderson                 addr = gpr[29] - str->len;
324ea421060SRichard Henderson                 p = lock_user(VERIFY_WRITE, addr, str->len, 0);
3258809baf4SPeter Maydell                 if (!p) {
3268809baf4SPeter Maydell                     report_fault(env);
3278809baf4SPeter Maydell                 }
328ea421060SRichard Henderson                 memcpy(p, str->str, str->len);
329ea421060SRichard Henderson                 unlock_user(p, addr, str->len);
330ea421060SRichard Henderson                 semihost_sys_write(cs, uhi_cb, 2, addr, str->len);
331ea421060SRichard Henderson             } else {
332ea421060SRichard Henderson                 gpr[2] = qemu_semihosting_console_write(str->str, str->len);
333ea421060SRichard Henderson             }
334ea421060SRichard Henderson             g_string_free(str, true);
335ea421060SRichard Henderson         }
336ea421060SRichard Henderson         break;
337ea421060SRichard Henderson 
338ad520a97SPhilippe Mathieu-Daudé     case UHI_assert:
339412411b3SRichard Henderson         {
340412411b3SRichard Henderson             const char *msg, *file;
341412411b3SRichard Henderson 
342412411b3SRichard Henderson             msg = lock_user_string(gpr[4]);
343412411b3SRichard Henderson             if (!msg) {
344412411b3SRichard Henderson                 msg = "<EFAULT>";
345412411b3SRichard Henderson             }
346412411b3SRichard Henderson             file = lock_user_string(gpr[5]);
347412411b3SRichard Henderson             if (!file) {
348412411b3SRichard Henderson                 file = "<EFAULT>";
349412411b3SRichard Henderson             }
350412411b3SRichard Henderson 
351412411b3SRichard Henderson             error_report("UHI assertion \"%s\": file \"%s\", line %d",
352412411b3SRichard Henderson                          msg, file, (int)gpr[6]);
353ad520a97SPhilippe Mathieu-Daudé             abort();
354412411b3SRichard Henderson         }
355412411b3SRichard Henderson 
356ad520a97SPhilippe Mathieu-Daudé     default:
357d53a3ed4SRichard Henderson         error_report("Unknown UHI operation %d", op);
358ad520a97SPhilippe Mathieu-Daudé         abort();
359ad520a97SPhilippe Mathieu-Daudé     }
360ad520a97SPhilippe Mathieu-Daudé     return;
361ad520a97SPhilippe Mathieu-Daudé }
362