DebugUFS
remove_debugger_command("ufs", DebugUFS);
add_debugger_command("ufs", DebugUFS, "prints general info about "
static int DebugUFS(int argc, char** argv);