-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