From: Ben Pfaff Date: Wed, 5 Apr 2006 20:02:21 +0000 (+0000) Subject: Clarify comment. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=31d20882fdd5111d14b4e04a9b43da88d009b13c;p=pintos-anon Clarify comment. Thanks to Nathan Marz for the question. --- diff --git a/src/threads/palloc.c b/src/threads/palloc.c index cef065a..22a6b15 100644 --- a/src/threads/palloc.c +++ b/src/threads/palloc.c @@ -107,7 +107,8 @@ palloc_get_multiple (enum palloc_flags flags, size_t page_cnt) return pages; } -/* Obtains and returns a single free page. +/* Obtains a single free page and returns its kernel virtual + address. If PAL_USER is set, the page is obtained from the user pool, otherwise from the kernel pool. If PAL_ZERO is set in FLAGS, then the page is filled with zeros. If no pages are