X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm.c;h=3bde027cfe2db48fb3c8733beb457daeb47a14d5;hb=e3cd4f1c180c7a59177c7108c495a2e27af9db10;hp=f59bdc7ead2844fd3628452dd50cdb865fa1909b;hpb=29b7ff8811c82ab543f5c969e44ff217637a09c7;p=palacios-OLD.git

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index f59bdc7..3bde027 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -291,7 +291,7 @@ static void Init_VMCB_BIOS(vmcb_t * vmcb, struct guest_info * core) {
 int v3_init_svm_vmcb(struct guest_info * core, v3_vm_class_t vm_class) {
 
     PrintDebug("Allocating VMCB\n");
-    core->vmm_data = (void*)Allocate_VMCB();
+    core->vmm_data = (void *)Allocate_VMCB();
     
     if (core->vmm_data == NULL) {
 	PrintError("Could not allocate VMCB, Exiting...\n");
@@ -311,7 +311,7 @@ int v3_init_svm_vmcb(struct guest_info * core, v3_vm_class_t vm_class) {
 
 
 int v3_deinit_svm_vmcb(struct guest_info * core) {
-    V3_FreePages(core->vmm_data, 1);
+    V3_FreePages(V3_PAddr(core->vmm_data), 1);
     return 0;
 }