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.


Split telemetry into global and per-core to avoid race printing core telemetry
[palacios.git] / palacios / include / palacios / vmm_telemetry.h
index 0677e2d..2fb5bc2 100644 (file)
@@ -59,7 +59,8 @@ void v3_deinit_core_telemetry(struct guest_info * core);
 void v3_telemetry_start_exit(struct guest_info * info);
 void v3_telemetry_end_exit(struct guest_info * info, uint_t exit_code);
 
-void v3_print_telemetry(struct v3_vm_info * vm);
+void v3_print_global_telemetry(struct v3_vm_info * vm);
+void v3_print_core_telemetry(struct guest_info * vm);
 
 
 void v3_add_telemetry_cb(struct v3_vm_info * vm,