vkernel - Sync to recent API changes
authorMatthew Dillon <dillon@apollo.backplane.com>
Sat, 18 Nov 2017 18:13:01 +0000 (10:13 -0800)
committerMatthew Dillon <dillon@apollo.backplane.com>
Sat, 18 Nov 2017 18:13:01 +0000 (10:13 -0800)
commita94cabeb8b373dc2581995c9261028afae1c120f
tree99e2c500b0efcac4001e94b2c067db9d2ba08564
parentdb1347159d48b55711d5746ff3a7734f9d8bbd59
vkernel - Sync to recent API changes

* Add uservtophys() to the vkernel code.  This is a bit of a quick hack
  but it should work.  It won't be efficient, though.

* vkernel compiles again and appears to run ok.
sys/platform/vkernel64/platform/copyio.c
sys/platform/vkernel64/platform/pmap.c