tree 357d0470dc340ce1cd64465447087526ad1870a7
parent 12f0d5b237499d53f9c0c1663c2bbe1dcc321056
author Barret Rhoden <brho@cs.berkeley.edu> 1503069789 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1503686509 -0400

vmm: Allow vmm.h to include vmx.h

The higher-level vmm.h should include the more specific vmx.h.  Eventually,
we'll also include svm.h.  =)  I'll need this for an upcoming change.

Note this makes guest_pcore specific to Intel vs AMD.  I'm not 100% on
that, but we do have a bunch of intel-specific things in it, such as the
VMCS.  We might end up with guest_pcore being more generic and including
vmx and svm structures, like vmx_guest_pcore, and all the vmx.h functions
take that as a parameter.

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