From: Ben Pfaff Date: Tue, 26 Jan 2010 17:12:50 +0000 (-0800) Subject: doc: Fix references to power_off() to refer to correct function and file name. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=b9713669e0613652b1ff53601345decf5584ab23 doc: Fix references to power_off() to refer to correct function and file name. Reported by Nathaniel Hardison . --- diff --git a/doc/reference.texi b/doc/reference.texi index 432bc86..88e20f9 100644 --- a/doc/reference.texi +++ b/doc/reference.texi @@ -203,7 +203,7 @@ the kernel command line, such as @command{run} to run a test (in project 1) or a user program (in later projects). Finally, if @option{-q} was specified on the kernel command line, we -call @func{power_off} to terminate the machine simulator. Otherwise, +call @func{shutdown_power_off} to terminate the machine simulator. Otherwise, @func{main} calls @func{thread_exit}, which allows any other running threads to continue running. diff --git a/doc/userprog.texi b/doc/userprog.texi index a132195..4082db1 100644 --- a/doc/userprog.texi +++ b/doc/userprog.texi @@ -600,8 +600,8 @@ programs only.) System call numbers for each system call are defined in @file{lib/syscall-nr.h}: @deftypefn {System Call} void halt (void) -Terminates Pintos by calling @func{power_off} (declared in -@file{threads/init.h}). This should be seldom used, because you lose +Terminates Pintos by calling @func{shutdown_power_off} (declared in +@file{devices/shutdown.h}). This should be seldom used, because you lose some information about possible deadlock situations, etc. @end deftypefn