X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_cpuid.c;h=34040d8a4422f0a439fc795494ad01b4b3f5547f;hp=d0c3a328dd50b2d0da12438c1c6d0f9e46c8987b;hb=123a1ba27ea09c8fa77a1b36ce625b43d7c48b14;hpb=ed8feff1d5dd6bf028cd5ba0960ec125505d7597

diff --git a/palacios/src/palacios/vmm_cpuid.c b/palacios/src/palacios/vmm_cpuid.c
index d0c3a32..34040d8 100644
--- a/palacios/src/palacios/vmm_cpuid.c
+++ b/palacios/src/palacios/vmm_cpuid.c
@@ -20,7 +20,7 @@
 #include <palacios/vmm.h>
 #include <palacios/vmm_cpuid.h>
 #include <palacios/vmm_lowlevel.h>
-
+#include <palacios/vm_guest.h>
 
 
 void v3_init_cpuid_map(struct guest_info * info) {