X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fpalloc.h;h=2d41cf6d52e186633f014b7c0a5b482c08fc33b6;hb=ecd12507c871ad36c8f26d705d73ca367b5373ac;hp=ba6aa741a954baf17e34cadc6a769974ca233dab;hpb=2aec28f52b358c63f740eda0a7698becf885ec1f;p=pintos-anon diff --git a/src/threads/palloc.h b/src/threads/palloc.h index ba6aa74..2d41cf6 100644 --- a/src/threads/palloc.h +++ b/src/threads/palloc.h @@ -3,6 +3,7 @@ #include +/* How to allocate pages. */ enum palloc_flags { PAL_ASSERT = 001, /* Panic on failure. */