added pci passthrough and a few other things

[palacios.git] / palacios / src / palacios / vmm_telemetry.c

diff --git a/palacios/src/palacios/vmm_telemetry.c b/palacios/src/palacios/vmm_telemetry.c
index 4a419a2..2d88d8b 100644 (file)
--- 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));