dgd/
dgd/doc/net/
dgd/src/host/unix/
dgd/src/host/win32/res/
dgd/src/lpc/
dgd/src/parser/
NAME
	dump_state - create a state dump

SYNOPSIS
	void dump_state(varargs int dummy)


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