[coreboot-gerrit] Patch set updated for coreboot: fc8896b exynos5420: minor correction to CPU frequency print

[Patrick Georgi]

Patrick Georgi ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/4434

-gerrit

commit fc8896b4f40b4514f20d867e4889e1695649275d
Author: David Hendricks 
Date:   Mon Aug 5 18:53:15 2013 -0700

exynos5420: minor correction to CPU frequency print

This divides the CPU frequency by 1,000,000 instead of 2^20.

serial console shows "CPU:   S5P5420 @ 800MHz" instead of
    claiming 762MHz.

Change-Id: I70cc5b62f689c5553b57c82be61233fb9f733f6e
    Reviewed-on: https://gerrit.chromium.org/gerrit/64743
    Reviewed-by: Gabe Black 
    Reviewed-by: Ronald G. Minnich 
    Commit-Queue: David Hendricks 
    Tested-by: David Hendricks 
---
 src/cpu/samsung/exynos5420/cpu.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cpu/samsung/exynos5420/cpu.c b/src/cpu/samsung/exynos5420/cpu.c
index 729e6b3..1940b88 100644
--- a/src/cpu/samsung/exynos5420/cpu.c
+++ b/src/cpu/samsung/exynos5420/cpu.c
@@ -159,7 +159,7 @@ static void cpu_enable(device_t dev)
 static void cpu_init(device_t dev)
 {
    printk(BIOS_INFO, "CPU:   S5P%X @ %ldMHz\n",
-			cpu_id, get_arm_clk() / (1024*1024));
+			cpu_id, get_arm_clk() / 1000000);

usb_init(dev);
 }