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

[pintos-anon] / doc / reference.texi

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.