From: Jack Lange <jacklange@cs.pitt.edu>
Date: Thu, 26 May 2011 00:34:32 +0000 (-0500)
Subject: build fix
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=f0f85ebba78c47c9c148c3c35f693cedc331d099;p=palacios-OLD.git

build fix
---

diff --git a/palacios/src/palacios/vmx.c b/palacios/src/palacios/vmx.c
index 5aec9d5..33725e7 100644
--- a/palacios/src/palacios/vmx.c
+++ b/palacios/src/palacios/vmx.c
@@ -970,7 +970,7 @@ int v3_is_vmx_capable() {
 }
 
 
-int v3_reset_vmx_cpu(struct guest_info * core, addr_t rip) {
+int v3_reset_vmx_vm_core(struct guest_info * core, addr_t rip) {
     // init vmcs bios
     
     if ((core->shdw_pg_mode == NESTED_PAGING) &&