X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fuserprog.texi;h=4082db12025d8e1f98279fd60865bbda0e13832a;hp=a1321950fd3f877328f801853839be7c9cf69741;hb=b9713669e0613652b1ff53601345decf5584ab23;hpb=12d423a1973d59006cd7ffbf8b71cd7409d04703

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