VMM: Touch up ros/vmx.h's includes (XCC) We need those includes to compile. I ran into this while making a new C file. We also need to get rid of the rdmsr macros, since userspace should never even call that. Right now, you could get a compilation error with those macros since read_msr() isn't in any user headers. Reinstall your kernel headers Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
diff --git a/kern/arch/x86/ros/vmx.h b/kern/arch/x86/ros/vmx.h index 40fade9..e93a63e 100644 --- a/kern/arch/x86/ros/vmx.h +++ b/kern/arch/x86/ros/vmx.h
@@ -23,6 +23,9 @@ */ #pragma once +#include <ros/common.h> +#include <ros/arch/mmu.h> + #define CPU_BASED_VIRTUAL_INTR_PENDING 0x00000004 #define CPU_BASED_USE_TSC_OFFSETING 0x00000008 #define CPU_BASED_HLT_EXITING 0x00000080