diff options
author | kaashoek <kaashoek> | 2006-08-23 01:09:24 +0000 |
---|---|---|
committer | kaashoek <kaashoek> | 2006-08-23 01:09:24 +0000 |
commit | 8b58e81077abf4e843873f16c03077e2fafce52d (patch) | |
tree | 9613a801fc9b3421ee79725782e3ef9bb4650574 /user.h | |
parent | f18ab5c04e5380e0fb27f63e8335e5d621315c1d (diff) | |
download | xv6-labs-8b58e81077abf4e843873f16c03077e2fafce52d.tar.gz xv6-labs-8b58e81077abf4e843873f16c03077e2fafce52d.tar.bz2 xv6-labs-8b58e81077abf4e843873f16c03077e2fafce52d.zip |
i/o redirection in sh
better parsing of sh commands (copied from jos sh)
cat: read from 1 if no args
sbrk system call, but untested
getpid system call
moved locks in keyboard intr, but why do we get intr w. null characters from keyboard?
Diffstat (limited to 'user.h')
-rw-r--r-- | user.h | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -18,10 +18,13 @@ int link(char *, char *); int mkdir(char *); int chdir(char *); int dup(int); +int getpid(); int stat(char *, struct stat *stat); int puts(char*); char* strcpy(char*, char*); +char *strchr(const char *s, char c); +int strcmp(const char *p, const char *q); void printf(int fd, char *fmt, ...); char *gets(char *, int max); unsigned int strlen(char *); |