X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fextensions%2Fext_vtime.c;h=6fd9931d48271cdbd0cde160738cf5a4c916b33b;hb=95a09f3e974f23d8e3d20b3a333f5c07631be17d;hp=665d6be036922415f13b66c64ba92933e737c0b8;hpb=55a97f129cf51e899308ba2d6070c77e4901559e;p=palacios.git

diff --git a/palacios/src/extensions/ext_vtime.c b/palacios/src/extensions/ext_vtime.c
index 665d6be..6fd9931 100644
--- a/palacios/src/extensions/ext_vtime.c
+++ b/palacios/src/extensions/ext_vtime.c
@@ -155,7 +155,7 @@ static int init() {
     if (khz) {
 	time_state->guest_cpu_freq = atoi(khz);
 	PrintDebug("Core %d CPU frequency requested at %d khz.\n", 
-		   info->cpu_id, time_state->guest_cpu_freq);
+		   info->pcpu_id, time_state->guest_cpu_freq);
     } 
     
     if ( (khz == NULL) ||