X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_msr.h;h=717d2ba7a9387fe01d8c934b5aed0b9053ca07c5;hb=5bf6d0c260240e314876a2fca8e3fd56bd6a1029;hp=f7e32022b959c62dffa4bf001be1c63a704deca4;hpb=cfcceed5890430afedcc544bd7dbb69e29dfd65a;p=palacios.git

diff --git a/palacios/include/palacios/vmm_msr.h b/palacios/include/palacios/vmm_msr.h
index f7e3202..717d2ba 100644
--- a/palacios/include/palacios/vmm_msr.h
+++ b/palacios/include/palacios/vmm_msr.h
@@ -32,11 +32,11 @@ struct guest_info;
 struct v3_msr {
 
     union {
-	ullong_t value;
+	uint64_t value;
 
 	struct {
-	    uint_t lo;
-	    uint_t hi;
+	    uint32_t lo;
+	    uint32_t hi;
 	} __attribute__((packed));
     } __attribute__((packed));
 } __attribute__((packed));
@@ -81,6 +81,8 @@ int v3_hook_msr(struct guest_info * info, uint_t msr,
 
 struct v3_msr_hook * v3_get_msr_hook(struct guest_info * info, uint_t msr);
 
+void v3_refresh_msr_map(struct guest_info * info);
+
 void v3_print_msr_map(struct guest_info * info);
 
 int v3_handle_msr_write(struct guest_info * info);