VirtualBox and vtophys

[Jacques Fourie]

I've noticed that my virtualbox vboxdrv.ko started crashing after
updating my 8.0-stable install. The crash occurs when vboxdrv calls
vtophys() on a userland virtual address. Prior to r202894 this was
working fine. Modifying pmap_kextract() to use vtopte() for non-kernel
virtual adresses fixes the problem. Is it intended for vtophys() to
still work on userland virtual addresses?