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