vmmcp: add higherkernbase, more debugging.
authorRonald G. Minnich <rminnich@gmail.com>
Mon, 29 Jun 2015 17:27:56 +0000 (10:27 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 Nov 2015 23:24:25 +0000 (18:24 -0500)
commit6f95e5b7dc96ad2afacc29c034f9217defb5b98f
tree4870d86051c3d33232486663efa824cf931144f6
parent8c7b25991c5c2db43359539fc0b13a566487c7a8
vmmcp: add higherkernbase, more debugging.

Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/vmm/intel/vmx.c
tests/vmm/vmrunkernel.c