Re: Virtualbox

As a test you can apply the following mod to sys/i386/include/pmap.h
and re-compile vboxdrv.ko. It fixed the problem for me but I'm by no
means an expert on the i386 pmap stuff so use at your own risk. Also
revert the change to pmap.h after re-compiling vboxdrv just so that
you don't inadvertently break something else.

Index: pmap.h
===================================================================
--- pmap.h      (revision 204194)
+++ pmap.h      (working copy)
_at__at_ -296,7 +296,10 _at__at_
                 * however, safe to use the old PDE because the page table
                 * page is preserved by the promotion.
                 */
-               pa = KPTmap[i386_btop(va)];
+               if (va >= KERNBASE)
+                       pa = KPTmap[i386_btop(va)];
+               else
+                       pa = *vtopte(va);
                pa = (pa & PG_FRAME) | (va & PAGE_MASK);
        }
        return (pa);