db_nfsnode_print_cmd
void db_nfsnode_print_cmd(db_expr_t, int, db_expr_t, char *);
{ "nfsnode", db_nfsnode_print_cmd, 0, NULL },