Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


updated msr map to allow early hooking
[palacios.git] / palacios / include / palacios / vmm_msr.h
index f7e3202..717d2ba 100644 (file)
@@ -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);