vfs_vnode_lock_print
vfs_vnode_lock_print((struct vnode *)(uintptr_t) addr, full, db_printf);
void vfs_vnode_lock_print(void *, int, void (*)(const char *, ...)