Aren
/
NetBSD
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Sprinkle some assertions.

This commit is contained in:
ad 2008-06-16 09:48:13 +00:00
parent 5bfa865311
commit b0ac1133c6
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
sys/kern/vfs_subr2.c
View File

@ -1,4 +1,4 @@
/* $NetBSD: vfs_subr2.c,v 1.25 2008/05/26 02:27:36 christos Exp $ */
/* $NetBSD: vfs_subr2.c,v 1.26 2008/06/16 09:48:13 ad Exp $ */
/*-
* Copyright (c) 1997, 1998, 2004, 2005, 2007, 2008 The NetBSD Foundation, Inc.
@ -75,7 +75,7 @@
*/
#include <sys/cdefs.h>
__KERNEL_RCSID(0, "$NetBSD: vfs_subr2.c,v 1.25 2008/05/26 02:27:36 christos Exp $");
__KERNEL_RCSID(0, "$NetBSD: vfs_subr2.c,v 1.26 2008/06/16 09:48:13 ad Exp $");
#include "opt_ddb.h"
@ -484,6 +484,7 @@ bgetvp(struct vnode *vp, struct buf *bp)
KASSERT(mutex_owned(&vp->v_interlock));
KASSERT(mutex_owned(&bufcache_lock));
KASSERT((bp->b_cflags & BC_BUSY) != 0);
KASSERT(!cv_has_waiters(&bp->b_done));
vholdl(vp);
bp->b_vp = vp;
@ -512,6 +513,7 @@ brelvp(struct buf *bp)
KASSERT(mutex_owned(&vp->v_interlock));
KASSERT(mutex_owned(&bufcache_lock));
KASSERT((bp->b_cflags & BC_BUSY) != 0);
KASSERT(!cv_has_waiters(&bp->b_done));
/*
* Delete from old vnode list, if on one.
@ -546,6 +548,7 @@ reassignbuf(struct buf *bp, struct vnode *vp)
KASSERT(bp->b_objlock == &vp->v_interlock);
KASSERT(mutex_owned(&vp->v_interlock));
KASSERT((bp->b_cflags & BC_BUSY) != 0);
KASSERT(!cv_has_waiters(&bp->b_done));
/*
* Delete from old vnode list, if on one.