From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 6 Sep 2004 15:44:56 +0000 (+0000)
Subject: Comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=04dd88200ea4ab162b6c371d634322ed8905bc0a;p=pintos-anon

Comment.
---

diff --git a/src/lib/user/printf.c b/src/lib/user/printf.c
index 8b123cc..d0485f1 100644
--- a/src/lib/user/printf.c
+++ b/src/lib/user/printf.c
@@ -4,11 +4,12 @@
 
 static void vprintf_helper (char, void *);
 
+/* Auxiliary data for vprintf_helper(). */
 struct vprintf_aux 
   {
-    char buf[64];
-    char *p;
-    int char_cnt;
+    char buf[64];       /* Character buffer. */
+    char *p;            /* Current position in buffer. */
+    int char_cnt;       /* Total characters written so far. */
   };
 
 int