ppc4xx: Print PCI synchronous clock frequency upon bootup
authorStefan Roese <sr@denx.de>
Mon, 19 Oct 2009 12:44:11 +0000 (14:44 +0200)
committerStefan Roese <sr@denx.de>
Fri, 23 Oct 2009 14:04:45 +0000 (16:04 +0200)
commit08c6a2628478ace808b3767db17e4148cac5a7fb
treebb88a9722e394dbdb094af5c92b7ddccbe1de98b
parent5e47f9535f53fd4cc05f32fb6166870f976fbb4e
ppc4xx: Print PCI synchronous clock frequency upon bootup

Some 4xx variants (e.g. 440EP(x)/GR(x)) have an internal
synchronous PCI clock. Knowledge about the currently configured
value might be helpful. So let's print it out upon bootup.

Signed-off-by: Stefan Roese <sr@denx.de>
cpu/ppc4xx/cpu.c