X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fpalloc.h;h=2d41cf6d52e186633f014b7c0a5b482c08fc33b6;hb=db7d1db11685c1dc0d97c41049d26b876211551b;hp=ba6aa741a954baf17e34cadc6a769974ca233dab;hpb=cd44d58647a33cd74056748e57bb8148cdb6d9df;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. */