X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fsvm.h;h=0be1c9a19e6c83ed63964511ce09ac273bd792aa;hb=de3fce7c94e36342005ae5f79fcf22937acde586;hp=066ab7ca5a400eba3214daa6da84d38f86bf3377;hpb=e70e95962c26832628d586e07f9cd1a2e1852d72;p=palacios-OLD.git

diff --git a/palacios/include/palacios/svm.h b/palacios/include/palacios/svm.h
index 066ab7c..0be1c9a 100644
--- a/palacios/include/palacios/svm.h
+++ b/palacios/include/palacios/svm.h
@@ -38,8 +38,6 @@
 #define CPUID_SVM_REV_AND_FEATURE_IDS_edx_svml 0x00000004
 #define CPUID_SVM_REV_AND_FEATURE_IDS_edx_np  0x00000001
 
-
-#define EFER_MSR                 0xc0000080
 #define EFER_MSR_svm_enable      0x00001000
 
 /************/
@@ -81,8 +79,8 @@
 
 
 
-void Init_SVM(struct vmm_ctrl_ops * vmm_ops);
-int is_svm_capable();
+void v3_init_SVM(struct v3_ctrl_ops * vmm_ops);
+int v3_is_svm_capable();
 
 #endif