X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=1b191d00a6c93f2af20951d49b6936b50b0848dc;hp=a0e2fc7ff4f870aa87c60b00109727cb341d5123;hb=77e8a14a182c25a46ace02ba8eda7722c0ff6d83;hpb=5d0908c468453271f6de6bc786ee864b3308f9ef

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index a0e2fc7..1b191d0 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -54,13 +54,11 @@ void Init_V3(struct v3_os_hooks * hooks, struct v3_ctrl_ops * vmm_ops) {
     v3_init_instrumentation();
 #endif
 
-    if (v3_is_svm_capable()) {
+    vmm_ops->allocate_guest = &allocate_guest;
 
+    if (v3_is_svm_capable()) {
         PrintDebug("Machine is SVM Capable\n");
-        vmm_ops->allocate_guest = &allocate_guest;
         v3_init_SVM(vmm_ops);
-
-
     } else if (v3_is_vmx_capable()) {
         PrintDebug("Machine is VMX Capable\n");
         v3_init_vmx(vmm_ops);