X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fpalloc.c;fp=src%2Fthreads%2Fpalloc.c;h=fbd74fc57917a356f9532078754e1d3a4e37f9e1;hb=b4e9c266d656c6b595cc57920a34937776acc300;hp=4fc8394c8f078a20c5a48722c36e3e022658620e;hpb=6ffbc2b68c34c2d1e42d5f6bcd8f2b94b82d05d7;p=pintos-anon

diff --git a/src/threads/palloc.c b/src/threads/palloc.c
index 4fc8394..fbd74fc 100644
--- a/src/threads/palloc.c
+++ b/src/threads/palloc.c
@@ -39,6 +39,7 @@ static struct pool kernel_pool, user_pool;
 static void init_pool (struct pool *, void *base, size_t page_cnt,
                        const char *name);
 static bool page_from_pool (const struct pool *, void *page);
+static void page_set_cache(void* page, bool enable_cache);
 
 /* Initializes the page allocator.  At most USER_PAGE_LIMIT
    pages are put into the user pool. */