use get_cpu_frequency instead of the hard-coded frequency number 533

This commit is contained in:
Stefan Lankes 2011-08-29 01:54:59 -07:00
parent 5f4c1f8aaa
commit 49dde7a522

View file

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