vfs_vnode_print
pool_walk(&vnode_pool, full, db_printf, vfs_vnode_print);
vfs_vnode_print((void *)addr, full, db_printf);
void vfs_vnode_print(void *, int, int (*)(const char *, ...));