|
|
1 NAME 2 dump_state - create a state dump 3 4 SYNOPSIS 5 void dump_state() 6 7 8 DESCRIPTION 9 Dump the current state of the system to file. The actual dump is not 10 performed until after the current thread has finished. 11 12 SEE ALSO 13 kfun/swapout