Removing debugging kprintf() in PTE race check.

After-testing-by: trevorjk

diff --git a/sys/platform/vkernel/platform/pmap.c b/sys/platform/vkernel/platform/pmap.c
index 285e1cd..1a2ca6c 100644 (file)
--- 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);