X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_instrument.h;h=b59eac059b42f8fa478a754c6f610753e897913c;hb=0e1c2f1eb7e964848d43824328205d5557bc7639;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..b59eac0 100644
--- a/palacios/include/palacios/vmm_instrument.h
+++ b/palacios/include/palacios/vmm_instrument.h
@@ -27,22 +27,8 @@
 #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