X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_instrument.h;h=63b2be241458cef60f70081c71b5f455b0356de7;hb=82b8b87c344fcd1eab22e3f3be5ad54cbb3f8f68;hp=f9e1176f0ca0106c74ec0602ebe4fa0dc91abcfa;hpb=3496b5b5469fe691a6847eb76d973019bb769318;p=palacios.git

diff --git a/palacios/include/palacios/vmm_instrument.h b/palacios/include/palacios/vmm_instrument.h
index f9e1176..63b2be2 100644
--- a/palacios/include/palacios/vmm_instrument.h
+++ b/palacios/include/palacios/vmm_instrument.h
@@ -22,27 +22,13 @@
 
 #ifdef __V3VEE__
 
-#ifdef INSTRUMENT_VMM 
+#ifdef CONFIG_INSTRUMENT_VMM 
 
 #include <palacios/vmm_types.h>
 #include <palacios/vmm_ringbuffer.h>
 
-ullong_t now, last;
-
-int instrument_start;
-
-struct Inst_RingBuff *ring_buff;
-
-struct PackData *pack_data;
-
-void __attribute__((__no_instrument_function__)) v3_init_cyg_profiler ();
- 
-void __attribute__((__no_instrument_function__))
-__cyg_profile_func_enter( void *this, void *callsite );
- 
-void __attribute__((__no_instrument_function__)) 
-__cyg_profile_func_exit( void *this, void *callsite );
 
+void v3_init_instrumentation() __attribute__((__no_instrument_function__));
 
 #endif // INSTRUMENT_VMM