diff options
author | Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU> | 2011-05-19 15:28:26 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@s144.Millennium.Berkeley.EDU> | 2011-05-19 15:28:26 -0700 |
commit | be22e4abd5fd8dad83068744a0d1497d50a2806c (patch) | |
tree | 41e7e210dd9f8e0dc35b7da36eb4f483d19734f7 /pk/file.c | |
parent | 92a8f05f5a2081deb086ad478c3ecbfd4e649002 (diff) | |
download | riscv-pk-be22e4abd5fd8dad83068744a0d1497d50a2806c.zip riscv-pk-be22e4abd5fd8dad83068744a0d1497d50a2806c.tar.gz riscv-pk-be22e4abd5fd8dad83068744a0d1497d50a2806c.tar.bz2 |
[pk] made PK smaller
Diffstat (limited to 'pk/file.c')
-rw-r--r-- | pk/file.c | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -5,9 +5,9 @@ #include "frontend.h" #include "pcr.h" -#define MAX_FDS 128 +#define MAX_FDS 32 file_t* fds[MAX_FDS]; -#define MAX_FILES 128 +#define MAX_FILES 32 file_t files[MAX_FILES] = {[0 ... MAX_FILES-1] = {-1,{0}}}; file_t *stdout, *stdin, *stderr; @@ -69,15 +69,15 @@ void file_init() stdin = file_get_free(); stdout = file_get_free(); stderr = file_get_free(); - kassert(stdin && stdout && stderr); stdin->kfd = 0; stdout->kfd = 1; stderr->kfd = 2; - kassert(file_dup(stdin) == 0); - kassert(file_dup(stdout) == 1); - kassert(file_dup(stderr) == 2); + // create user FDs 0, 1, and 2 + file_dup(stdin); + file_dup(stdout); + file_dup(stderr); } file_t* file_get(int fd) |