1 #ifndef HEADER_PALLOC_H
2 #define HEADER_PALLOC_H 1
4 /* Page allocator. Hands out memory in page-size chunks.
5 See malloc.h for an allocator that hands out smaller
12 PAL_ASSERT = 001, /* Panic on failure. */
13 PAL_ZERO = 002 /* Zero page contents. */
16 void palloc_init (uint8_t *start, uint8_t *end);
17 void *palloc_get (enum palloc_flags);
18 void palloc_free (void *);