From b3f547afb56daeabd589a379f361a47291a86360 Mon Sep 17 00:00:00 2001
From: Matthew Dillon <dillon@apollo.backplane.com>
Date: Wed, 6 May 2009 20:09:35 -0700
Subject: [PATCH] Replace Debugger() entry with a kprintf().

Reported-by: trevorjk
---
 sys/platform/vkernel/platform/pmap.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sys/platform/vkernel/platform/pmap.c b/sys/platform/vkernel/platform/pmap.c
index 8f65346f46..285e1cdc58 100644
--- a/sys/platform/vkernel/platform/pmap.c
+++ b/sys/platform/vkernel/platform/pmap.c
@@ -1149,7 +1149,8 @@ _pmap_allocpte(pmap_t pmap, unsigned ptepindex)
 	 * return the held page.
 	 */
 	if ((ptepa = pmap->pm_pdir[ptepindex]) != 0) {
-		Debugger("PTEPA RACE");
+		kprintf("vkernel debug: Warning, PTEPA RACE on %ld",
+			(long)ptepindex);
 		KKASSERT((ptepa & VPTE_FRAME) == VM_PAGE_TO_PHYS(m));
 		vm_page_wakeup(m);
 		return(m);
-- 
2.41.0