X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_profiler.h;h=9787db08a0995424dfb8affe11d7c492d25bc55c;hb=82b8b87c344fcd1eab22e3f3be5ad54cbb3f8f68;hp=b08323277b000fb549f4686ff34f0ade712c79a0;hpb=362391accc505b29d938e9d0a21bf6a28a8cee34;p=palacios.git

diff --git a/palacios/include/palacios/vmm_profiler.h b/palacios/include/palacios/vmm_profiler.h
index b083232..9787db0 100644
--- a/palacios/include/palacios/vmm_profiler.h
+++ b/palacios/include/palacios/vmm_profiler.h
@@ -22,18 +22,22 @@
 
 #ifdef __V3VEE__
 
+#ifdef CONFIG_PROFILE_VMM 
+
 #include <palacios/vmm_rbtree.h>
 
 struct guest_info;
 
 
 struct v3_profiler {
-  uint_t total_exits;
+    uint_t total_exits;
+
+    ullong_t start_time;
+    ullong_t end_time;
 
-  ullong_t start_time;
-  ullong_t end_time;
+    uint_t guest_pf_cnt;
 
-  struct rb_root root;
+    struct rb_root root;
 };
 
 
@@ -43,6 +47,7 @@ void v3_profile_exit(struct guest_info * info, uint_t exit_code);
 
 void v3_print_profile(struct guest_info * info);
 
+#endif
 
 #endif