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 m...@netbsd.org