From b9713669e0613652b1ff53601345decf5584ab23 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 26 Jan 2010 09:12:50 -0800 Subject: [PATCH] doc: Fix references to power_off() to refer to correct function and file name. Reported by Nathaniel Hardison . --- doc/reference.texi | 2 +- doc/userprog.texi | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) 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 -- 2.30.2