nfs_node_print
nfs_node_print((void *)addr, full, db_printf);
void nfs_node_print(void *, int, int (*)(const char *, ...));
pool_walk(&nfs_node_pool, full, db_printf, nfs_node_print);