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 --- pintos-progos/threads/palloc.h | 20 -------------------- 1 file changed, 20 deletions(-) delete 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 deleted file mode 100644 index d7f4e0b..0000000 --- a/pintos-progos/threads/palloc.h +++ /dev/null @@ -1,20 +0,0 @@ -#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