- use %u instead of %d to print the processor frequency

git-svn-id: http://svn.lfbs.rwth-aachen.de/svn/scc/trunk/MetalSVM@255 315a16e6-25f9-4109-90ae-ca3045a26c18
This commit is contained in:
stefan 2010-11-14 10:38:31 +00:00
parent 3683e9c84c
commit a0acab9861

View file

@ -162,7 +162,7 @@ int main(void)
system_calibration();
kprintf("Processor frequency: %d MHz\n", get_cpu_frequency()/1000000);
kprintf("Processor frequency: %u MHz\n", get_cpu_frequency()/1000000);
kprintf("Total memory: %u MBytes\n", atomic_int32_read(&total_pages)/((1024*1024)/PAGE_SIZE));
kprintf("Current allocated memory: %u KBytes\n", atomic_int32_read(&total_allocated_pages)*(PAGE_SIZE/1024));
kprintf("Current available memory: %u MBytes\n", atomic_int32_read(&total_available_pages)/((1024*1024)/PAGE_SIZE));