[src/trunk]: src/sys/arch/xen/xen add KASSERT() for owned grant_lock in xengn...

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

details:   https://anonhg.NetBSD.org/src/rev/da0693b7ae44
branches:  trunk
changeset: 930607:da0693b7ae44
user:      jdolecek <jdolecek%NetBSD.org@localhost>
date:      Fri Apr 10 08:35:52 2020 +0000

description:
add KASSERT() for owned grant_lock in xengnt_get_entry()

diffstat:

 sys/arch/xen/xen/xengnt.c |  6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)

diffs (27 lines):

diff -r 0968a422fd0c -r da0693b7ae44 sys/arch/xen/xen/xengnt.c
--- a/sys/arch/xen/xen/xengnt.c Thu Apr 09 19:26:37 2020 +0000
+++ b/sys/arch/xen/xen/xengnt.c Fri Apr 10 08:35:52 2020 +0000
@@ -1,4 +1,4 @@
-/*      $NetBSD: xengnt.c,v 1.31 2020/04/09 19:26:38 jdolecek Exp $      */
+/*      $NetBSD: xengnt.c,v 1.32 2020/04/10 08:35:52 jdolecek Exp $      */
 
 /*
  * Copyright (c) 2006 Manuel Bouyer.
@@ -26,7 +26,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: xengnt.c,v 1.31 2020/04/09 19:26:38 jdolecek Exp $");
+__KERNEL_RCSID(0, "$NetBSD: xengnt.c,v 1.32 2020/04/10 08:35:52 jdolecek Exp $");
 
 #include <sys/types.h>
 #include <sys/param.h>
@@ -336,6 +336,8 @@
        static struct timeval xengnt_nonmemtime;
        static const struct timeval xengnt_nonmemintvl = {5,0};
 
+       KASSERT(mutex_owned(&grant_lock));
+
        if (__predict_false(last_gnt_entry == 0)) {
                if (ratecheck(&xengnt_nonmemtime, &xengnt_nonmemintvl))
                        printf("xengnt_get_entry: out of grant "