namecache_print
namecache_print((struct vnode *)(uintptr_t) addr, db_printf);
void namecache_print(struct vnode *, void (*)(const char *, ...)