X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_telemetry.c;h=2d88d8bd942aa58b03ad1ed08169848eae501a97;hp=4a419a2865667afdd974322a758ecfbb1e463695;hb=3a4e54ec208ea3589963b410d2d73292bbc4a8fe;hpb=8a441df14ef65bb559ce090249343ec1dac1a7fc

diff --git a/palacios/src/palacios/vmm_telemetry.c b/palacios/src/palacios/vmm_telemetry.c
index 4a419a2..2d88d8b 100644
--- a/palacios/src/palacios/vmm_telemetry.c
+++ b/palacios/src/palacios/vmm_telemetry.c
@@ -205,7 +205,7 @@ void v3_print_telemetry(struct guest_info * info) {
 	    V3_Print("%s%s:%sCnt=%u,%sAvg. Time=%u\n", 
 		     hdr_buf,
 		     code_str,
-		     (strlen(code_str) > 14) ? "\t" : "\t\t",
+		     (strlen(code_str) > 13) ? "\t" : "\t\t",
 		     evt->cnt,
 		     (evt->cnt >= 100) ? "\t" : "\t\t",
 		     (uint32_t)(evt->handler_time / evt->cnt));