From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 17 Oct 2004 23:30:22 +0000 (+0000)
Subject: Comments.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=372d49062a54fb5b1741cd828b0266a67196a8e3;p=pintos-anon

Comments.
---

diff --git a/src/lib/stdio.c b/src/lib/stdio.c
index 13df2c7..4b0ba19 100644
--- a/src/lib/stdio.c
+++ b/src/lib/stdio.c
@@ -562,9 +562,10 @@ __printf (const char *format,
 }
 
 /* Dumps the SIZE bytes in BUF to the console as hex bytes
-   arranged 16 per line, plus offsets listed starting at OFS for
-   the first byte in BU.  If ASCII is true then the corresponding
-   ASCII characters are also rendered alongside. */   
+   arranged 16 per line.  Numeric offsets are also included,
+   starting at OFS for the first byte in BUF.  If ASCII is true
+   then the corresponding ASCII characters are also rendered
+   alongside. */   
 void
 hex_dump (uintptr_t ofs, const void *buf_, size_t size, bool ascii)
 {