use get_cpu_frequency instead of the static number 533

This commit is contained in:
Stefan Lankes 2011-09-02 13:52:42 -07:00
parent 751dda8f1e
commit 41dc03235a

View file

@ -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);