vprint
vprint("CCDIOCCLR: vnode info",
vprint("ccdlookup: vnode info", vp);
vprint("", ap->a_vp);
vprint(NULL, vp);
void vprint (char *label, struct vnode *vp);
vprint("ext2_inactive: pushing active", vp);
vprint("ext2_reclaim: pushing active", vp);
vprint("ext2_fsync: dirty", vp);
vprint("hpfs_fsync: dirty", vp);
vprint("hpfs_inactive: pushing active", vp);
vprint("cd9660_inactive: pushing active", vp);
vprint("cd9660_reclaim: pushing active", vp);
vprint("msdosfs_reclaim(): pushing active", vp);
vprint("msdosfs_inactive(): pushing active", vp);
vprint("msdosfs_fsync: dirty", vp);
vprint("nfs_inactive: pushing active", ap->a_vp);
vprint("nfs_reclaim: pushing active", vp);
vprint("ntfs_inactive: pushing active", vp);
vprint("ntfs_reclaim: pushing active", vp);
vprint(NULL, SMBTOV(np));
vprint("smbfs_node_alloc: dead parent vnode", dvp);
vprint("ufs_reclaim: pushing active", vp);
vprint("ufs_inactive: pushing active", vp);
vprint("chkdquot: missing dquot", ITOV(ip));
vprint("vm_object_vndeallocate", vp);
static void vprint(value_t *);
vprint(p);
vprint(p);