From 2c5bb7cae7970d66a988c5d8b096352b314a9c8e Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 7 Sep 2004 06:21:06 +0000 Subject: [PATCH] Add comment. --- src/lib/user/printf.c | 3 +++ src/threads/interrupt.h | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) 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. -- 2.30.2