assertion "(l->l_pflag & LP_INTR) == 0" failed

[Emmanuel Dreyfus <manu%netbsd.org@localhost>]

Hello

I follow up here after getting no success at
http://mail-index.netbsd.org/port-xen/2022/10/03/msg010258.html

Applying the change below to netbsd-9 branch would work around
the problem. Any opinion?

Index: sys/arch/x86/x86/pmap.c
===================================================================
RCS file: /cvsroot/src/sys/arch/x86/x86/pmap.c,v
retrieving revision 1.334.2.7
diff -U 4 -r1.334.2.7 pmap.c
--- sys/arch/x86/x86/pmap.c     13 May 2022 11:10:38 -0000      1.334.2.7
+++ sys/arch/x86/x86/pmap.c     4 Oct 2022 14:05:33 -0000
@@ -5030,9 +5030,11 @@
         * Now that shootdowns are complete, process deferred frees,
         * but not from interrupt context.
         */
        if (l->l_md.md_gc_ptp != NULL) {
+#ifndef XENPV
                KASSERT((l->l_pflag & LP_INTR) == 0);
+#endif
                if (cpu_intr_p()) {
                        return;
                }
                empty_ptps = l->l_md.md_gc_ptp;


-- 
Emmanuel Dreyfus
manu%netbsd.org@localhost