doc: Fix references to power_off() to refer to correct function and file name.

Reported by Nathaniel Hardison <hardison@stanford.edu>.

diff --git a/doc/reference.texi b/doc/reference.texi
index 432bc8658d7bf41409d52919f7b7bf4dffe97ccf..88e20f9245deaeb830a8aa03efa25a9317ef7b21 100644 (file)
--- 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 a1321950fd3f877328f801853839be7c9cf69741..4082db12025d8e1f98279fd60865bbda0e13832a 100644 (file)
--- 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