From: Kyle Hale <kh@u.northwestern.edu>
Date: Sun, 8 Jul 2012 17:45:12 +0000 (-0500)
Subject: compilation fix in vmm_debug.c
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=4869d835f8fdbc29fbcaae1d888c2561e9165b9c;p=palacios.git

compilation fix in vmm_debug.c
---

diff --git a/palacios/src/palacios/vmm_debug.c b/palacios/src/palacios/vmm_debug.c
index 4814d5d..2a5bd94 100644
--- a/palacios/src/palacios/vmm_debug.c
+++ b/palacios/src/palacios/vmm_debug.c
@@ -43,9 +43,11 @@ static int core_handler(struct guest_info * core, uint32_t cmd) {
 
 
     switch (cmd) {
+#ifdef V3_CONFIG_TELEMETRY
 	case PRINT_TELEMETRY: 
 	    v3_print_core_telemetry(core);
 	    break;
+#endif
 	
 	case PRINT_CORE_STATE:
 	    v3_raise_barrier(core->vm_info, NULL);
@@ -79,7 +81,9 @@ static int core_handler(struct guest_info * core, uint32_t cmd) {
 	case PRINT_STATE:
 	    v3_raise_barrier(core->vm_info, NULL);
 
+#ifdef V3_CONFIG_TELEMETRY
 	    v3_print_core_telemetry(core);
+#endif
 	    v3_print_guest_state(core);
 	    v3_print_arch_state(core);