From 41dc03235a91f24ed17a2670dcb2be60c8dd20ff Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Fri, 2 Sep 2011 13:52:42 -0700 Subject: [PATCH] use get_cpu_frequency instead of the static number 533 --- arch/x86/scc/icc.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/arch/x86/scc/icc.c b/arch/x86/scc/icc.c index 2bd5141f..065c086f 100644 --- a/arch/x86/scc/icc.c +++ b/arch/x86/scc/icc.c @@ -257,7 +257,7 @@ int icc_halt(void) return 0; } -#define ROUNDS 100000 +#define ROUNDS 1000 #define CORE_A 0 // sender #define CORE_B 1 // receiver @@ -425,7 +425,7 @@ int icc_mail_ping_irq(void) kprintf( "timer = %d\n", timer ); kprintf( "mail_pingpong needs in average %d nsec (%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);