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)
commit1141ed6ce69b489ddaf03ba89e4ceca952b1e985
treee155da65833ca53271a99f441c7a6788d81b9442
parent9c88e99bdadf7b6e4a7adf3de4c29bea4639b7b6
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>
kern/arch/x86/ros/vmx.h