From 0488cca3a22577de1beca4357b7b94fc99cfa66e Mon Sep 17 00:00:00 2001
From: cl <cl@NetBSD.org>
Date: Sat, 10 Apr 2004 23:31:41 +0000
Subject: [PATCH] remove incorrect assert:  pdp-pool entries can be reclaimed
 at any time, even while APDP is mapped.

---
 sys/arch/xen/i386/pmap.c | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/sys/arch/xen/i386/pmap.c b/sys/arch/xen/i386/pmap.c
index 773459634551..425d6eab78d6 100644
--- a/sys/arch/xen/i386/pmap.c
+++ b/sys/arch/xen/i386/pmap.c
@@ -1,4 +1,4 @@
-/*	$NetBSD: pmap.c,v 1.1 2004/03/11 21:44:08 cl Exp $	*/
+/*	$NetBSD: pmap.c,v 1.2 2004/04/10 23:31:41 cl Exp $	*/
 /*	NetBSD: pmap.c,v 1.171 2004/02/20 17:35:01 yamt Exp 	*/
 
 /*
@@ -61,7 +61,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.1 2004/03/11 21:44:08 cl Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.2 2004/04/10 23:31:41 cl Exp $");
 
 #include "opt_cputype.h"
 #include "opt_user_ldt.h"
@@ -1824,8 +1824,6 @@ pmap_pdp_dtor(void *arg, void *object)
 
 	XENPRINTF(("pmap_pdp_dtor %p %p\n", pdir, (void *)pdirpa));
 
-	KDASSERT((PDE_GET(APDP_PDE) & PG_FRAME) == 0);
-
 	/* unpin page type */
 	xpq_queue_unpin_table(xpmap_ptom(pdirpa));
 	xpq_flush_queue();