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.