NAME
	dump_state - create a state dump

SYNOPSIS
	void dump_state()


DESCRIPTION
	Dump the current state of the system to file.

SEE ALSO
	kfun/swapout
