[src/trunk]: src/sys/kern new_vmcmd: assertions

[yamt <yamt%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/b18425665612
branches:  trunk
changeset: 759843:b18425665612
user:      yamt <yamt%NetBSD.org@localhost>
date:      Fri Dec 17 22:35:07 2010 +0000

description:
new_vmcmd: assertions

diffstat:

 sys/kern/exec_subr.c |  6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)

diffs (27 lines):

diff -r 8bd4cc377455 -r b18425665612 sys/kern/exec_subr.c
--- a/sys/kern/exec_subr.c      Fri Dec 17 22:34:04 2010 +0000
+++ b/sys/kern/exec_subr.c      Fri Dec 17 22:35:07 2010 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: exec_subr.c,v 1.65 2010/08/23 20:53:08 christos Exp $  */
+/*     $NetBSD: exec_subr.c,v 1.66 2010/12/17 22:35:07 yamt Exp $      */
 
 /*
  * Copyright (c) 1993, 1994, 1996 Christopher G. Demetriou
@@ -31,7 +31,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: exec_subr.c,v 1.65 2010/08/23 20:53:08 christos Exp $");
+__KERNEL_RCSID(0, "$NetBSD: exec_subr.c,v 1.66 2010/12/17 22:35:07 yamt Exp $");
 
 #include "opt_pax.h"
 
@@ -80,6 +80,8 @@
        struct exec_vmcmd    *vcp;
 
        VMCMD_EVCNT_INCR(calls);
+       KASSERT(proc != vmcmd_map_pagedvn || (vp->v_iflag & VI_TEXT));
+       KASSERT(vp == NULL || vp->v_usecount > 0);
 
        if (evsp->evs_used >= evsp->evs_cnt)
                vmcmdset_extend(evsp);