profiler changes

[palacios.git] / palacios / include / palacios / vmm_profiler.h

diff --git a/palacios/include/palacios/vmm_profiler.h b/palacios/include/palacios/vmm_profiler.h
index b083232..7861a7b 100644 (file)
--- a/palacios/include/palacios/vmm_profiler.h
+++ b/palacios/include/palacios/vmm_profiler.h
@@ -33,6 +33,8 @@ struct v3_profiler {
   ullong_t start_time;
   ullong_t end_time;
 
+  uint_t guest_pf_cnt;
+
   struct rb_root root;
 };