libsemihost.h

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-3-Clause
//
// This file is part of ETISS. It is licensed under the BSD 3-Clause License; you may not use this file except in
// compliance with the License. You should have received a copy of the license along with this project. If not, see the
// LICENSE file.
 
#ifndef JITLIB_SEMIHOST_H
#define JITLIB_SEMIHOST_H
 
#include <stdint.h>
#include "etiss/jit/CPU.h"
#include "etiss/jit/System.h"
 
uint8_t etiss_semihost_enabled();
 
int64_t etiss_semihost(ETISS_CPU *const cpu, ETISS_System *const etissSystem, void *const *const _, uint32_t XLEN,
                       uint64_t operation, uint64_t parameter);
 
#endif