Removing debugging kprintf() in PTE race check.
authorMatthew Dillon <dillon@apollo.backplane.com>
Thu, 7 May 2009 22:31:24 +0000 (15:31 -0700)
committerMatthew Dillon <dillon@apollo.backplane.com>
Thu, 7 May 2009 22:31:24 +0000 (15:31 -0700)
After-testing-by: trevorjk
sys/platform/vkernel/platform/pmap.c

index 285e1cd..1a2ca6c 100644 (file)
@@ -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);