diff options
Diffstat (limited to 'shared/runtime/semihosting_arm.h')
| -rw-r--r-- | shared/runtime/semihosting_arm.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/shared/runtime/semihosting_arm.h b/shared/runtime/semihosting_arm.h index 1faaae7fe..08fb66578 100644 --- a/shared/runtime/semihosting_arm.h +++ b/shared/runtime/semihosting_arm.h @@ -46,6 +46,7 @@ If mp_semihosting_rx_char() doesn't work then try mp_semihosting_rx_chars(str, 1 #include <stdint.h> void mp_semihosting_init(); +void mp_semihosting_exit(int status); int mp_semihosting_rx_char(); int mp_semihosting_rx_chars(char *str, size_t len); uint32_t mp_semihosting_tx_strn(const char *str, size_t len); |