From: Jack Lange <jacklange@cs.pitt.edu>
Date: Thu, 26 May 2011 18:00:58 +0000 (-0500)
Subject: data type fixes
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=bd8cdd82060e4b14b05b4093705ac578ab8c607b;p=palacios.git

data type fixes
---

diff --git a/palacios/include/palacios/vmx_lowlevel.h b/palacios/include/palacios/vmx_lowlevel.h
index c169139..fd63406 100644
--- a/palacios/include/palacios/vmx_lowlevel.h
+++ b/palacios/include/palacios/vmx_lowlevel.h
@@ -97,7 +97,7 @@ static inline int vmcs_load(addr_t vmcs_ptr) {
     return VMX_SUCCESS;
 }
 
-static inline addr_t vmcs_store() {
+static inline uint64_t vmcs_store() {
     uint64_t vmcs_ptr = 0;
 
     __asm__ __volatile__ (