VMM: Touch up ros/vmx.h's includes (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 20 Jun 2016 20:38:44 +0000 (16:38 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 24 Jun 2016 18:24:06 +0000 (14:24 -0400)
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>
kern/arch/x86/ros/vmx.h

index 40fade9..e93a63e 100644 (file)
@@ -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