X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_telemetry.h;h=0677e2dfc95b9433a0d278e51b5eca3c2f99fd90;hb=d12cdf5b213b2b51d525914a852ceacd2c198b5a;hp=8fab6837569b461a5cdd9f8e5aa2143e47622d76;hpb=aac189310cca0f5f14543d91413d3b5b58250a3e;p=palacios-OLD.git

diff --git a/palacios/include/palacios/vmm_telemetry.h b/palacios/include/palacios/vmm_telemetry.h
index 8fab683..0677e2d 100644
--- a/palacios/include/palacios/vmm_telemetry.h
+++ b/palacios/include/palacios/vmm_telemetry.h
@@ -22,7 +22,7 @@
 
 #ifdef __V3VEE__
 
-#ifdef CONFIG_TELEMETRY
+#ifdef V3_CONFIG_TELEMETRY
 
 #include <palacios/vmm_rbtree.h>
 #include <palacios/vmm_list.h>