vmm: Allow vmm.h to include vmx.h
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 18 Aug 2017 15:23:09 +0000 (11:23 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 25 Aug 2017 18:41:49 +0000 (14:41 -0400)
commit5261bcfc854032f3ad28e79f4e6b9f27482467fc
tree357d0470dc340ce1cd64465447087526ad1870a7
parent12f0d5b237499d53f9c0c1663c2bbe1dcc321056
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>
kern/arch/x86/vmm/intel/vmx.c
kern/arch/x86/vmm/intel/vmx.h
kern/arch/x86/vmm/vmm.h