typedef int mapid_t;
#define MAP_FAILED ((mapid_t) -1)
+#define READDIR_MAX_LEN 14
+
void halt (void) NO_RETURN;
void exit (int status) NO_RETURN;
pid_t exec (const char *file);
-int join (pid_t);
+int wait (pid_t);
bool create (const char *file, unsigned initial_size);
bool remove (const char *file);
int open (const char *file);
unsigned tell (int fd);
void close (int fd);
mapid_t mmap (int fd, void *addr);
-bool munmap (mapid_t);
+void munmap (mapid_t);
bool chdir (const char *dir);
bool mkdir (const char *dir);
-void lsdir (void);
+bool readdir (int fd, char name[READDIR_MAX_LEN + 1]);
+bool isdir (int fd);
#endif /* lib/user/syscall.h */