kprintf_volume
int kprintf_volume(int argc, char** argv);
add_debugger_command("fat", kprintf_volume, "dump a FAT private volume");
remove_debugger_command("fat", kprintf_volume);
int kprintf_volume(int argc, char** argv);
add_debugger_command("nfs4", kprintf_volume, "dump an nfs4 volume");
remove_debugger_command("nfs4", kprintf_volume);