Comment.

diff --git a/src/lib/user/printf.c b/src/lib/user/printf.c
index 8b123cc95a20b2959eacade49399bd1f3326118c..d0485f11fd1dfb251c80878925419435a8da80c0 100644 (file)
--- 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