X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fsvm.h;h=bb967f3b1c084680414c08c6834d376e330934e9;hp=fccddc2515e9e1a884c29c63b5399774ff2f9d32;hb=ff58148c2cfbbc82405dc9ec25056cc93c773083;hpb=828663cb96cc49aaf75ac091f191daac2733003e

diff --git a/palacios/include/geekos/svm.h b/palacios/include/geekos/svm.h
index fccddc2..bb967f3 100644
--- a/palacios/include/geekos/svm.h
+++ b/palacios/include/geekos/svm.h
@@ -1,6 +1,7 @@
 #ifndef __SVM_H
 #define __SVM_H
 
+#include <geekos/vmm_util.h>
 #include <geekos/vmm.h>
 
 #define CPUID_FEATURE_IDS 0x80000001
@@ -38,6 +39,7 @@
 #define SVM_SMM_CTL_MSR_rsm_cycle 0x00000010
 
 #define SVM_VM_HSAVE_PA_MSR      0xc0010117
+
 #define SVM_KEY_MSR              0xc0010118
 
 /******/