From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 7 Sep 2004 06:21:06 +0000 (+0000)
Subject: Add comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2c5bb7cae7970d66a988c5d8b096352b314a9c8e;p=pintos-anon

Add comment.
---

diff --git a/src/lib/user/printf.c b/src/lib/user/printf.c
index d0485f1..6466e54 100644
--- a/src/lib/user/printf.c
+++ b/src/lib/user/printf.c
@@ -12,6 +12,9 @@ struct vprintf_aux
     int char_cnt;       /* Total characters written so far. */
   };
 
+/* The standard vprintf() function,
+   which is like printf() but uses a va_list.
+   Writes its output to the STDOUT_FILENO handle. */
 int
 vprintf (const char *format, va_list args) 
 {
diff --git a/src/threads/interrupt.h b/src/threads/interrupt.h
index 5060b9d..adb7fa9 100644
--- a/src/threads/interrupt.h
+++ b/src/threads/interrupt.h
@@ -36,7 +36,7 @@ struct intr_frame
     uint32_t vec_no;            /* Interrupt vector number. */
 
     /* Sometimes pushed by the CPU,
-       otherwise by intrXX_stub for consistency. */
+       otherwise for consistency pushed as 0 by intrXX_stub. */
     uint32_t error_code;        /* Error code. */
 
     /* Pushed by the CPU.