tree 7d37c7d66c35cc4d8d15c0fe6225a4a2b7206f31
parent c773d33f30a0cf525d0f319b5e0160624581f8f7
author Barret Rhoden <brho@cs.berkeley.edu> 1427736809 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1428433619 -0400

VMM: moves various helpers to vmx.h

I'll want some of these from ept.c, and maybe some others from vmm or
debug code.

Removes the compat.h business too, and just drops everything we'll need
in vmx.h.