From 4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b Mon Sep 17 00:00:00 2001 From: manuel Date: Tue, 27 Mar 2012 11:51:08 +0200 Subject: reorganize file structure to match the upstream requirements --- threads/palloc.h | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 threads/palloc.h (limited to 'threads/palloc.h') diff --git a/threads/palloc.h b/threads/palloc.h new file mode 100644 index 0000000..d7f4e0b --- /dev/null +++ b/threads/palloc.h @@ -0,0 +1,20 @@ +#ifndef THREADS_PALLOC_H +#define THREADS_PALLOC_H + +#include + +/* How to allocate pages. */ +enum palloc_flags + { + PAL_ASSERT = 001, /* Panic on failure. */ + PAL_ZERO = 002, /* Zero page contents. */ + PAL_USER = 004 /* User page. */ + }; +void palloc_init (size_t user_page_limit); +void *palloc_get_page (enum palloc_flags); +void *palloc_get_multiple (enum palloc_flags, size_t page_cnt); +void palloc_free_page (void *); +void palloc_free_multiple (void *, size_t page_cnt); +void palloc_dump_used_pages (void); + +#endif /* threads/palloc.h */ -- cgit v1.2.3