Create ros/vmm/vmx.h, prepare to move lots of code to user mode from kernel driver.
authorRonald G. Minnich <rminnich@gmail.com>
Mon, 17 Aug 2015 18:51:28 +0000 (11:51 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 Nov 2015 23:24:25 +0000 (18:24 -0500)
commit900ec3a20e992a0408005f5e4b6f62955e6897c4
tree9bde285d958291b742e3268ccf13035e672698b7
parent07624cc8a2ff3d9360bbfc932f558d4ff231c98f
Create ros/vmm/vmx.h, prepare to move lots of code to user mode from kernel driver.

We need these constants and maybe these structs in user mode, so we can
handle more vmexits. Now that this is done, we can start to move
code out of the kernel driver.

Longer term, we probably even want the vmcs registers set up in user mode
so we can deal with the inevitable undocumented/incorrect hardware without
having to respin the kernel.

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
kern/arch/x86/vmm/intel/vmx.h
kern/arch/x86/vmm/vmm.c
kern/include/ros/vmx.h [new file with mode: 0644]
tests/vmm/vmrunkernel.c