kf = VTOKERN(vp);  printf("kernfs_inactive(%p) %s\n", vp, kf->kf_name);
kernfs_inactive(v)	void *v;{	struct vop_inactive_args /* {		struct vnode *a_vp;		struct proc *a_p;	} */ *ap = v;	struct vnode *vp = ap->a_vp;#ifdef KERNFS_DIAGNOSTIC	printf("kernfs_inactive(%p)\n", vp);#endif	/*	 * Clear out the v_type field to avoid	 * nasty things happening in vgone().	 */	VOP_UNLOCK(vp, 0, ap->a_p);	vp->v_type = VNON;	return (0);}