@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
@item Can I run user programs under a debugger?
-Yes, with some limitations. @xref{Debugging User Programs}.
+Yes, with some limitations. @xref{GDB}.
@item What's the difference between @code{tid_t} and @code{pid_t}?