pintos-os.org Git - pintos-anon/blob - src/lib/user/user.h

   1 #ifndef __LIB_USER_USER_H
   2 #define __LIB_USER_USER_H
   3
   4 #ifdef KERNEL
   5 #error This header is user-only.
   6 #endif
   7
   8 /* <stdlib.h> */
   9 #define EXIT_SUCCESS 0
  10 #define EXIT_FAILURE 1
  11 void exit (int);
  12 void abort (void);
  13
  14 #endif /* lib/user/user.h */