[pkgsrc/trunk]: pkgsrc/sysutils/xenkernel411 The ASSERT(oc > 0) bug is still ...

[bouyer <bouyer%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/1f3f48f7179c
branches:  trunk
changeset: 393823:1f3f48f7179c
user:      bouyer <bouyer%pkgsrc.org@localhost>
date:      Mon Mar 25 15:28:13 2019 +0000

description:
The ASSERT(oc > 0) bug is still here, it's just that it doens't show up
any more on my test server. So add back the workaround.
Bump PKGREVISION

diffstat:

 sysutils/xenkernel411/Makefile                |   4 ++--
 sysutils/xenkernel411/distinfo                |   3 ++-
 sysutils/xenkernel411/patches/patch-zz-bouyer |  23 +++++++++++++++++++++++
 3 files changed, 27 insertions(+), 3 deletions(-)

diffs (54 lines):

diff -r 738a0b070041 -r 1f3f48f7179c sysutils/xenkernel411/Makefile
--- a/sysutils/xenkernel411/Makefile    Mon Mar 25 14:20:46 2019 +0000
+++ b/sysutils/xenkernel411/Makefile    Mon Mar 25 15:28:13 2019 +0000
@@ -1,7 +1,7 @@
-# $NetBSD: Makefile,v 1.4 2019/03/07 11:13:26 bouyer Exp $
+# $NetBSD: Makefile,v 1.5 2019/03/25 15:28:13 bouyer Exp $
 
 VERSION=       4.11.1
-PKGREVISION=   1
+PKGREVISION=   2
 DISTNAME=      xen-${VERSION}
 PKGNAME=       xenkernel411-${VERSION}
 CATEGORIES=    sysutils
diff -r 738a0b070041 -r 1f3f48f7179c sysutils/xenkernel411/distinfo
--- a/sysutils/xenkernel411/distinfo    Mon Mar 25 14:20:46 2019 +0000
+++ b/sysutils/xenkernel411/distinfo    Mon Mar 25 15:28:13 2019 +0000
@@ -1,4 +1,4 @@
-$NetBSD: distinfo,v 1.3 2019/03/07 11:13:26 bouyer Exp $
+$NetBSD: distinfo,v 1.4 2019/03/25 15:28:13 bouyer Exp $
 
 SHA1 (xen411/xen-4.11.1.tar.gz) = aeb45f3b05aaa73dd2ef3a0c533a975495b58c17
 RMD160 (xen411/xen-4.11.1.tar.gz) = c0eaf57cfbd4f762e8367bcf88e99912d2089084
@@ -21,3 +21,4 @@
 SHA1 (patch-xen_arch_x86_Rules.mk) = 0bedfc53a128a87b6a249ae04fbdf6a053bfb70b
 SHA1 (patch-xen_arch_x86_boot_build32.mk) = b82c20de9b86ddaa9d05bbc1ff28f970eb78473c
 SHA1 (patch-xen_tools_symbols.c) = 6070b3b5ccc38a196283cfc1c52f5d87858beb18
+SHA1 (patch-zz-bouyer) = bf11b2b81d5c81992c911f670e75dd3aec5ab609
diff -r 738a0b070041 -r 1f3f48f7179c sysutils/xenkernel411/patches/patch-zz-bouyer
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/sysutils/xenkernel411/patches/patch-zz-bouyer     Mon Mar 25 15:28:13 2019 +0000
@@ -0,0 +1,23 @@
+$NetBSD: patch-zz-bouyer,v 1.3 2019/03/25 15:28:13 bouyer Exp $
+Dirty hack to avoid assert failure. This has been discussed on xen-devel
+but no solution has been found so far.
+The box producing http://www-soc.lip6.fr/~bouyer/NetBSD-tests/xen/
+is running with this patch; the printk has fired but the
+hypervisor keeps running.
+
+--- xen/arch/x86/mm.c.orig     2018-07-19 10:32:07.000000000 +0200
++++ xen/arch/x86/mm.c  2018-07-21 20:47:47.000000000 +0200
+@@ -674,7 +674,12 @@
+     typeof(pg->linear_pt_count) oc;
+ 
+     oc = arch_fetch_and_add(&pg->linear_pt_count, -1);
+-    ASSERT(oc > 0);
++    if (oc <= 0) {
++            gdprintk(XENLOG_WARNING,
++                 "mm.c:dec_linear_entries(): oc %d would fail assert\n", oc);
++          pg->linear_pt_count = 0;
++    }
++    /* ASSERT(oc > 0); */
+ }
+ 
+ static bool inc_linear_uses(struct page_info *pg)