From 49dde7a522d35546b5dcc6636942255835d1ff55 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Mon, 29 Aug 2011 01:54:59 -0700 Subject: [PATCH] use get_cpu_frequency instead of the hard-coded frequency number 533 --- arch/x86/scc/icc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch/x86/scc/icc.c b/arch/x86/scc/icc.c index 6a415e13..2bd5141f 100644 --- a/arch/x86/scc/icc.c +++ b/arch/x86/scc/icc.c @@ -372,7 +372,7 @@ int icc_mail_ping(void) if( my_ue == CORE_A ) { kprintf( "timer = %ld\n", timer ); kprintf( "mail_pingpong needs in average %d ns (%d ticks)!\n", - timer*1000/(2*ROUNDS*533), timer/(2*ROUNDS) ); + timer*1000/(2*ROUNDS*get_cpu_frequency()), timer/(2*ROUNDS) ); } irq_nested_enable(flags);