pintos-os.org Git - pintos-anon/blob - src/threads/palloc.h

   1 #ifndef HEADER_PALLOC_H
   2 #define HEADER_PALLOC_H 1
   3
   4 #include <stdint.h>
   5
   6 enum palloc_flags
   7   {
   8     PAL_ASSERT = 001,           /* Panic on failure. */
   9     PAL_ZERO = 002              /* Zero page contents. */
  10   };
  11
  12 void palloc_init (void);
  13 void *palloc_get (enum palloc_flags);
  14 void palloc_free (void *);
  15
  16 #endif /* palloc.h */