From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 5 Apr 2006 18:02:49 +0000 (+0000)
Subject: Rename putchar_unlocked() to putchar_have_lock() to avoid GCC warning.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=745d62ba7e4bef2887ce158a3b2cfc5f24ebadef;p=pintos-anon

Rename putchar_unlocked() to putchar_have_lock() to avoid GCC warning.
---

diff --git a/src/lib/kernel/console.c b/src/lib/kernel/console.c
index 865b13b..f62e7f3 100644
--- a/src/lib/kernel/console.c
+++ b/src/lib/kernel/console.c
@@ -7,7 +7,7 @@
 #include "threads/synch.h"
 
 static void vprintf_helper (char, void *);
-static void putchar_unlocked (uint8_t c);
+static void putchar_have_lock (uint8_t c);
 
 /* The console lock.
    Both the vga and serial layers do their own locking, so it's
@@ -31,7 +31,7 @@ static struct lock console_lock;
    intr_handler()       - timer interrupt
    intr_set_level()
    serial_putc()
-   putchar_unlocked()
+   putchar_have_lock()
    putbuf()
    sys_write()          - one process writing to the console
    syscall_handler()
@@ -115,8 +115,8 @@ puts (const char *s)
 {
   acquire_console ();
   while (*s != '\0')
-    putchar_unlocked (*s++);
-  putchar_unlocked ('\n');
+    putchar_have_lock (*s++);
+  putchar_have_lock ('\n');
   release_console ();
 
   return 0;
@@ -128,7 +128,7 @@ putbuf (const char *buffer, size_t n)
 {
   acquire_console ();
   while (n-- > 0)
-    putchar_unlocked (*buffer++);
+    putchar_have_lock (*buffer++);
   release_console ();
 }
 
@@ -137,7 +137,7 @@ int
 putchar (int c) 
 {
   acquire_console ();
-  putchar_unlocked (c);
+  putchar_have_lock (c);
   release_console ();
   
   return c;
@@ -149,14 +149,14 @@ vprintf_helper (char c, void *char_cnt_)
 {
   int *char_cnt = char_cnt_;
   (*char_cnt)++;
-  putchar_unlocked (c);
+  putchar_have_lock (c);
 }
 
 /* Writes C to the vga display and serial port.
    The caller has already acquired the console lock if
    appropriate. */
 static void
-putchar_unlocked (uint8_t c) 
+putchar_have_lock (uint8_t c) 
 {
   ASSERT (console_locked_by_current_thread ());
   write_cnt++;