NAME

shutdown - shutdown the system

SYNOPSIS

void shutdown(varargs int hotboot)

DESCRIPTION

Shut down the system after the current task has finished.  A non-zero
argument indicates that the system should attempt to hot-boot after
shutdown.

ERRORS

An error will result if hot-booting is attempted without dump_state()
having been called earlier in the same task, or if hot-booting is
disabled.