X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fsyscall.h;h=8a9e0c013e91a74bb87b318b7f2f3f094c341bd6;hb=0951a7af1bd8e78b5991edd7de9d0370b2d2d72b;hp=d03eae163ef371956b911277f75575637da18053;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon diff --git a/src/lib/user/syscall.h b/src/lib/user/syscall.h index d03eae1..8a9e0c0 100644 --- a/src/lib/user/syscall.h +++ b/src/lib/user/syscall.h @@ -4,12 +4,22 @@ #include #include +/* Process identifier. */ typedef int pid_t; #define PID_ERROR ((pid_t) -1) +/* Map region identifier. */ typedef int mapid_t; #define MAP_FAILED ((mapid_t) -1) +/* Maximum characters in a filename written by readdir(). */ +#define READDIR_MAX_LEN 14 + +/* Typical return values from main() and arguments to exit(). */ +#define EXIT_SUCCESS 0 /* Successful execution. */ +#define EXIT_FAILURE 1 /* Unsuccessful execution. */ + +/* Projects 2 and later. */ void halt (void) NO_RETURN; void exit (int status) NO_RETURN; pid_t exec (const char *file); @@ -23,10 +33,16 @@ int write (int fd, const void *buffer, unsigned length); void seek (int fd, unsigned position); unsigned tell (int fd); void close (int fd); + +/* Project 3 and optionally project 4. */ mapid_t mmap (int fd, void *addr); void munmap (mapid_t); + +/* Project 4 only. */ 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); +int inumber (int fd); #endif /* lib/user/syscall.h */