From 8e5d01059b4ee0c1b9de2d82bc00d58bf62906bf Mon Sep 17 00:00:00 2001
From: Matthew Dillon <dillon@apollo.backplane.com>
Date: Thu, 7 May 2009 15:31:24 -0700
Subject: [PATCH] Removing debugging kprintf() in PTE race check.

After-testing-by: trevorjk
---
 sys/platform/vkernel/platform/pmap.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/sys/platform/vkernel/platform/pmap.c b/sys/platform/vkernel/platform/pmap.c
index 285e1cdc58..1a2ca6cd8b 100644
--- a/sys/platform/vkernel/platform/pmap.c
+++ b/sys/platform/vkernel/platform/pmap.c
@@ -1149,8 +1149,6 @@ _pmap_allocpte(pmap_t pmap, unsigned ptepindex)
 	 * return the held page.
 	 */
 	if ((ptepa = pmap->pm_pdir[ptepindex]) != 0) {
-		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