1d0b4cfa6SRichard Henderson /* 2d0b4cfa6SRichard Henderson * Semihosting for user emulation 3d0b4cfa6SRichard Henderson * 4d0b4cfa6SRichard Henderson * Copyright (c) 2019 Linaro Ltd 5d0b4cfa6SRichard Henderson * 6d0b4cfa6SRichard Henderson * SPDX-License-Identifier: GPL-2.0-or-later 7d0b4cfa6SRichard Henderson */ 8d0b4cfa6SRichard Henderson 9d0b4cfa6SRichard Henderson #include "qemu/osdep.h" 10d0b4cfa6SRichard Henderson #include "semihosting/semihost.h" 11d0b4cfa6SRichard Henderson semihosting_enabled(bool is_user)12d0b4cfa6SRichard Hendersonbool semihosting_enabled(bool is_user) 13d0b4cfa6SRichard Henderson { 14*17a71e89SRichard Henderson assert(is_user); 15d0b4cfa6SRichard Henderson return true; 16d0b4cfa6SRichard Henderson } 17d0b4cfa6SRichard Henderson semihosting_get_target(void)18d0b4cfa6SRichard HendersonSemihostingTarget semihosting_get_target(void) 19d0b4cfa6SRichard Henderson { 20d0b4cfa6SRichard Henderson return SEMIHOSTING_TARGET_AUTO; 21d0b4cfa6SRichard Henderson } 22