--- ./arch/i386/kernel/cpu/proc.c.cpuinf	2006-01-11 22:13:22.000000000 +0300
+++ ./arch/i386/kernel/cpu/proc.c	2006-05-13 12:00:20.000000000 +0400
@@ -87,7 +87,7 @@
 	else
 		seq_printf(m, "stepping\t: unknown\n");
 
-	if ( cpu_has(c, X86_FEATURE_TSC) ) {
+	if ( ve_is_super(get_exec_env()) && cpu_has(c, X86_FEATURE_TSC) ) {
 		seq_printf(m, "cpu MHz\t\t: %lu.%03lu\n",
 			vcpu_khz / 1000, (vcpu_khz % 1000));
 	}
--- ./arch/x86_64/kernel/setup.c.cpuinf	2006-01-11 22:13:17.000000000 +0300
+++ ./arch/x86_64/kernel/setup.c	2006-05-13 12:00:20.000000000 +0400
@@ -1093,7 +1093,7 @@
 	else
 		seq_printf(m, "stepping\t: unknown\n");
 	
-	if (cpu_has(c,X86_FEATURE_TSC)) {
+	if (ve_is_super(get_exec_env()) && cpu_has(c,X86_FEATURE_TSC)) {
 		seq_printf(m, "cpu MHz\t\t: %u.%03u\n",
 			     cpu_khz / 1000, (cpu_khz % 1000));
 	}