9 #define NO_RETURN __attribute__ ((noreturn))
12 #define halt pintos_halt
13 void pintos_halt (void) NO_RETURN;
16 #define exit pintos_exit
17 void pintos_exit (int status) NO_RETURN;
20 #define exec pintos_exec
21 pid_t pintos_exec (const char *file);
24 #define join pintos_join
25 int pintos_join (pid_t);
28 #define create pintos_create
29 bool pintos_create (const char *file, unsigned initial_size);
32 #define remove pintos_remove
33 bool pintos_remove (const char *file);
36 #define open pintos_open
37 int pintos_open (const char *file);
40 #define filesize pintos_filesize
41 int pintos_filesize (int fd);
44 #define read pintos_read
45 int pintos_read (int fd, void *buffer, unsigned length);
48 #define write pintos_write
49 int pintos_write (int fd, const void *buffer, unsigned length);
52 #define seek pintos_seek
53 void pintos_seek (int fd, unsigned position);
56 #define tell pintos_tell
57 unsigned pintos_tell (int fd);
60 #define close pintos_close
61 void pintos_close (int fd);
64 #define mmap pintos_mmap
65 bool pintos_mmap (int fd, void *addr, unsigned length);
68 #define munmap pintos_munmap
69 bool pintos_munmap (void *addr, unsigned length);
72 #define chdir pintos_chdir
73 bool pintos_chdir (const char *dir);
76 #define mkdir pintos_mkdir
77 bool pintos_mkdir (const char *dir);
80 #define lsdir pintos_lsdir
81 void pintos_lsdir (void);
83 #endif /* posix-compat.h */