vkernel - Restore vkernel build
authorMatthew Dillon <dillon@backplane.com>
Wed, 29 May 2019 21:38:21 +0000 (14:38 -0700)
committerMatthew Dillon <dillon@backplane.com>
Thu, 30 May 2019 05:35:28 +0000 (22:35 -0700)
commita70dbf044615cb931a64d800d7282d24e81a5d20
tree77839e3c4b2e6b48b4c05915ea64a57f5c509a5e
parentba69e3575bf077f1f9b6a38b9bf6782025f1b8e9
vkernel - Restore vkernel build

* Finish cleaning up the vkernel pmap code so the build works again.

Tested-by: dillon, tested with a NFS boot.
sys/platform/vkernel64/platform/pmap.c