1 /* 2 * Copyright (c) 2013-2014, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef SEMIHOSTING_H 8 #define SEMIHOSTING_H 9 10 #include <stdint.h> 11 #include <stdio.h> /* For ssize_t */ 12 13 14 #define SEMIHOSTING_SYS_OPEN 0x01 15 #define SEMIHOSTING_SYS_CLOSE 0x02 16 #define SEMIHOSTING_SYS_WRITE0 0x04 17 #define SEMIHOSTING_SYS_WRITEC 0x03 18 #define SEMIHOSTING_SYS_WRITE 0x05 19 #define SEMIHOSTING_SYS_READ 0x06 20 #define SEMIHOSTING_SYS_READC 0x07 21 #define SEMIHOSTING_SYS_SEEK 0x0A 22 #define SEMIHOSTING_SYS_FLEN 0x0C 23 #define SEMIHOSTING_SYS_REMOVE 0x0E 24 #define SEMIHOSTING_SYS_SYSTEM 0x12 25 #define SEMIHOSTING_SYS_ERRNO 0x13 26 #define SEMIHOSTING_SYS_EXIT 0x18 27 28 #define FOPEN_MODE_R 0x0 29 #define FOPEN_MODE_RB 0x1 30 #define FOPEN_MODE_RPLUS 0x2 31 #define FOPEN_MODE_RPLUSB 0x3 32 #define FOPEN_MODE_W 0x4 33 #define FOPEN_MODE_WB 0x5 34 #define FOPEN_MODE_WPLUS 0x6 35 #define FOPEN_MODE_WPLUSB 0x7 36 #define FOPEN_MODE_A 0x8 37 #define FOPEN_MODE_AB 0x9 38 #define FOPEN_MODE_APLUS 0xa 39 #define FOPEN_MODE_APLUSB 0xb 40 41 long semihosting_connection_supported(void); 42 long semihosting_file_open(const char *file_name, size_t mode); 43 long semihosting_file_seek(long file_handle, ssize_t offset); 44 long semihosting_file_read(long file_handle, size_t *length, uintptr_t buffer); 45 long semihosting_file_write(long file_handle, 46 size_t *length, 47 const uintptr_t buffer); 48 long semihosting_file_close(long file_handle); 49 long semihosting_file_length(long file_handle); 50 long semihosting_system(char *command_line); 51 long semihosting_get_flen(const char *file_name); 52 long semihosting_download_file(const char *file_name, 53 size_t buf_size, 54 uintptr_t buf); 55 void semihosting_write_char(char character); 56 void semihosting_write_string(char *string); 57 char semihosting_read_char(void); 58 void semihosting_exit(uint32_t reason, uint32_t subcode); 59 60 #endif /* SEMIHOSTING_H */ 61