vkernel - Partial fix to EPT swapu32 and swapu64
commit7f4bfbe7d59cd0c3a957b175d692bcf7e58cfe2c
authorMatthew Dillon <dillon@apollo.backplane.com>
Fri, 27 Jan 2017 21:56:33 +0000 (27 13:56 -0800)
committerMatthew Dillon <dillon@apollo.backplane.com>
Fri, 27 Jan 2017 22:00:12 +0000 (27 14:00 -0800)
tree85841cc45659108abe807aef4d001830cece65cc
parentf046edd0af63a118f248e0681c2a378b702545e4
vkernel - Partial fix to EPT swapu32 and swapu64

* EPT needed swapu32/swapu64 functions, write them.

* Fix bounds checking bug in std_swapu32()

* Misc cleanups.
sys/platform/pc64/include/pmap.h
sys/platform/pc64/vmm/ept.c
sys/platform/pc64/x86_64/pmap.c
sys/platform/pc64/x86_64/support.s
sys/platform/pc64/x86_64/uwrapper.c
sys/platform/vkernel64/platform/copyio.c
sys/platform/vkernel64/platform/init.c
sys/sys/vkernel.h