NAME
	dump_state - create a state dump

SYNOPSIS
	void dump_state()


DESCRIPTION
	Dump the current state of the system to file.  The actual dump is not
	performed until after the current thread has finished.

SEE ALSO
	kfun/swapout
