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

diff --git a/palacios/include/palacios/vmm_profiler.h b/palacios/include/palacios/vmm_profiler.h
index 75722b8..9787db0 100644
--- a/palacios/include/palacios/vmm_profiler.h
+++ b/palacios/include/palacios/vmm_profiler.h
@@ -22,6 +22,8 @@
 
 #ifdef __V3VEE__
 
+#ifdef CONFIG_PROFILE_VMM 
+
 #include <palacios/vmm_rbtree.h>
 
 struct guest_info;
@@ -45,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