pintos-os.org Git - pintos-anon/blob - grading/vm/posix-compat.h

   1 #ifndef POSIX_COMPAT_H
   2 #define POSIX_COMPAT_H
   3
   4 #include <stdbool.h>
   5 #include <sys/types.h>
   6 #include <unistd.h>
   7 #include <fcntl.h>
   8
   9 #define NO_RETURN __attribute__ ((noreturn))
  10
  11 #undef halt
  12 #define halt pintos_halt
  13 void pintos_halt (void) NO_RETURN;
  14
  15 #undef exit
  16 #define exit pintos_exit
  17 void pintos_exit (int status) NO_RETURN;
  18
  19 #undef exec
  20 #define exec pintos_exec
  21 pid_t pintos_exec (const char *file);
  22
  23 #undef join
  24 #define join pintos_join
  25 int pintos_join (pid_t);
  26
  27 #undef create
  28 #define create pintos_create
  29 bool pintos_create (const char *file, unsigned initial_size);
  30
  31 #undef remove
  32 #define remove pintos_remove
  33 bool pintos_remove (const char *file);
  34
  35 #undef open
  36 #define open pintos_open
  37 int pintos_open (const char *file);
  38
  39 #undef filesize
  40 #define filesize pintos_filesize
  41 int pintos_filesize (int fd);
  42
  43 #undef read
  44 #define read pintos_read
  45 int pintos_read (int fd, void *buffer, unsigned length);
  46
  47 #undef write
  48 #define write pintos_write
  49 int pintos_write (int fd, const void *buffer, unsigned length);
  50
  51 #undef seek
  52 #define seek pintos_seek
  53 void pintos_seek (int fd, unsigned position);
  54
  55 #undef tell
  56 #define tell pintos_tell
  57 unsigned pintos_tell (int fd);
  58
  59 #undef close
  60 #define close pintos_close
  61 void pintos_close (int fd);
  62
  63 #undef mmap
  64 #define mmap pintos_mmap
  65 bool pintos_mmap (int fd, void *addr, unsigned length);
  66
  67 #undef munmap
  68 #define munmap pintos_munmap
  69 bool pintos_munmap (void *addr, unsigned length);
  70
  71 #undef chdir
  72 #define chdir pintos_chdir
  73 bool pintos_chdir (const char *dir);
  74
  75 #undef mkdir
  76 #define mkdir pintos_mkdir
  77 bool pintos_mkdir (const char *dir);
  78
  79 #undef lsdir
  80 #define lsdir pintos_lsdir
  81 void pintos_lsdir (void);
  82
  83 #endif /* posix-compat.h */