#ifndef SEMIHOSTING_H
#define SEMIHOSTING_H

//int32_t trace_write(const char* buf, uint32_t nbyte);

void sh_write0(const char* buf);
void sh_writec(char c);
char sh_readc(void);
int sh_clock(void);
void sh_read(char*, int, size_t);
void sh_write(char*, int);
int sh_open(char*, int);
void sh_rename(char*, char*);
int sh_remove(char*);
int sh_istty(int);
int sh_iserror(int);
int sh_flen(int);
void sh_exit(void);
void sh_exit_extended(void);
int sh_close(int);
int sh_time(void);
int sh_errno(void);

int getchar(void);

extern int sh_missing_host;

#endif