2024-02-26 20:41:15 +01:00
|
|
|
#ifndef SEMIHOSTING_H
|
|
|
|
#define SEMIHOSTING_H
|
|
|
|
|
2024-04-30 08:48:44 +02:00
|
|
|
#include <sys/types.h>
|
2024-05-31 08:56:21 +02:00
|
|
|
#include <unistd.h>
|
|
|
|
// int32_t trace_write(const char* buf, uint32_t nbyte);
|
2024-02-26 20:41:15 +01:00
|
|
|
|
2024-04-30 08:48:44 +02:00
|
|
|
void sh_seek(int, off_t);
|
2024-05-31 08:56:21 +02:00
|
|
|
void sh_write0(const char *buf);
|
2024-02-26 20:41:15 +01:00
|
|
|
void sh_writec(char c);
|
|
|
|
char sh_readc(void);
|
2024-04-08 14:36:22 +02:00
|
|
|
int sh_clock(void);
|
2024-05-31 08:56:21 +02:00
|
|
|
int 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 *);
|
2024-04-08 14:36:22 +02:00
|
|
|
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);
|
2024-02-26 20:41:15 +01:00
|
|
|
|
|
|
|
int getchar(void);
|
|
|
|
|
|
|
|
extern int sh_missing_host;
|
|
|
|
|
|
|
|
#endif
|