printf("tag VT_KERNFS, kernfs vnode\n");
printf("tag VT_KERNFS, kernfs vnode: name %s, vp %p, tag %d\n", kf->kf_name, kf->kf_vnode, kf->kf_tag);
kernfs_print(v)	void *v;{	printf("tag VT_KERNFS, kernfs vnode\n");	return (0);}