blob: 3a10e06db0b10e3e595e7a375fa26e8bcc8f569f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/* gbos userland C API (thin wrappers over rst $30 syscalls; see c/libc.s) */
#ifndef GBOS_H
#define GBOS_H
#define EOF 4 /* readc() returns this at end of input */
void writes(const char *buf, unsigned char len);
void putc(char c);
void puts(const char *s); /* write a NUL-terminated string */
void nl(void); /* newline (CRLF) */
unsigned char strlen(const char *s);
char *getargs(void); /* this program's argument string */
char readc(void); /* one input byte, EOF at end */
void sexit(unsigned char code);
unsigned char getpid(void);
#endif
|
