From b5f0874cd96ee2a62aabc645b9626c2749cb6a01 Mon Sep 17 00:00:00 2001 From: manuel Date: Mon, 26 Mar 2012 12:54:45 +0200 Subject: initial pintos checkin --- pintos-progos/threads/palloc.h | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 pintos-progos/threads/palloc.h (limited to 'pintos-progos/threads/palloc.h') diff --git a/pintos-progos/threads/palloc.h b/pintos-progos/threads/palloc.h new file mode 100644 index 0000000..d7f4e0b --- /dev/null +++ b/pintos-progos/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