tree bf7d2764c5a60d99449213a25b34e5dc5a3d47aa
parent 63e5e098d89414f3a801dea828d6e604feaca3f8
author Barret Rhoden <brho@cs.berkeley.edu> 1502992296 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1503686509 -0400

vmm: Move chunks of ros/vmx.h into the kernel (XCC)

A lot of that stuff isn't needed by userspace.  Even more shouldn't be
exposed at all, such as our internal vmcs_config struct (which I'll need to
change soon).

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>