kprintf_inode
int kprintf_inode(int argc, char** argv);
add_debugger_command("nfs4_inode", kprintf_inode, "dump an nfs4 inode");
remove_debugger_command("nfs4_inode", kprintf_inode);