Move ros/vmx.h to an arch-specific location (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 3 Nov 2015 16:15:57 +0000 (11:15 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 3 Nov 2015 16:15:57 +0000 (11:15 -0500)
commit91d62e0c75d30db1a11814c52e8ad1ba70b8ea6c
tree4ee3423e6fa0abe8c879fac7e086a76645efddcc
parent842f4f10be26a11198f9de274b1b1d895b4399f1
Move ros/vmx.h to an arch-specific location (XCC)

VMX is an x86 thing, so we shouldn't have it as a top-level kernel header.
It's also an intel-specific thing, but at least that's all in the x86
directory.

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/riscv/ros/vmm.h [new file with mode: 0644]
kern/arch/x86/ros/vmm.h [new file with mode: 0644]
kern/arch/x86/ros/vmx.h [new file with mode: 0644]
kern/arch/x86/vmm/intel/vmx.h
kern/drivers/dev/proc.c
kern/include/ros/vmm.h
kern/include/ros/vmx.h [deleted file]
tests/vmm/vmrunkernel.c
user/vmm/vmxmsr.c