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

diff --git a/palacios/include/palacios/vmm_instrument.h b/palacios/include/palacios/vmm_instrument.h
index b59eac0..63b2be2 100644
--- a/palacios/include/palacios/vmm_instrument.h
+++ b/palacios/include/palacios/vmm_instrument.h
@@ -22,7 +22,7 @@
 
 #ifdef __V3VEE__
 
-#ifdef INSTRUMENT_VMM 
+#ifdef CONFIG_INSTRUMENT_VMM 
 
 #include <palacios/vmm_types.h>
 #include <palacios/vmm_ringbuffer.h>