From: Ben Pfaff Date: Wed, 21 Dec 2005 00:58:30 +0000 (+0000) Subject: Clarify function comment. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bf38311a1c9b25090e92c3847f32a3dc984dac08;hp=bf38311a1c9b25090e92c3847f32a3dc984dac08;p=pintos-anon Clarify function comment. Via Ben Sapp . ---