vkernel - Sync to recent API changes (3)
authorMatthew Dillon <dillon@apollo.backplane.com>
Sat, 18 Nov 2017 19:01:47 +0000 (11:01 -0800)
committerMatthew Dillon <dillon@apollo.backplane.com>
Sat, 18 Nov 2017 19:01:47 +0000 (11:01 -0800)
commitbeaef97a1f5cd031326c9ccb39d7f602ae0d0d6e
treee3249c83f4d3844d9f489f205063ca4b8d16f21e
parentfd8b44bd22c38e7de5237b2c05b30781e53492b6
vkernel - Sync to recent API changes (3)

* Fix va page offset in returned value.
sys/platform/vkernel64/platform/pmap.c