X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Flib%2Fkernel%2Fconsole.c;h=844b18468bde5c3b828bb4455213aed6949f0f13;hp=0d031b5b4bdd6a2257f416bdf1fc1ffdbbb4398e;hb=64e74e3536b95c4d0a46aec56bc373ad0f6d470b;hpb=4391570c999cec9592799ada19df5f91683da58a

diff --git a/src/lib/kernel/console.c b/src/lib/kernel/console.c
index 0d031b5..844b184 100644
--- a/src/lib/kernel/console.c
+++ b/src/lib/kernel/console.c
@@ -37,17 +37,17 @@ static bool use_console_lock;
 
    lock_console()
    vprintf()
-   printf()             - palloc() tries to grab the lock again
+   printf()               - palloc() tries to grab the lock again
    palloc_free()        
-   schedule_tail()      - another thread dying as we switch threads
+   thread_schedule_tail() - another thread dying as we switch threads
    schedule()
    thread_yield()
-   intr_handler()       - timer interrupt
+   intr_handler()         - timer interrupt
    intr_set_level()
    serial_putc()
    putchar_have_lock()
    putbuf()
-   sys_write()          - one process writing to the console
+   sys_write()            - one process writing to the console
    syscall_handler()
    intr_handler()