Symbol: debug_vput
sys/sys/vnode.h
579
void debug_vput (struct vnode *vp, const char *filename, int line);
sys/sys/vnode.h
580
#define vput(vp) debug_vput(vp, __FILE__, __LINE__)