Stefan Roese 08c6a26284 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>
2009-10-23 16:04:45 +02:00
..
2009-10-07 09:15:20 +02:00
2008-10-18 21:54:03 +02:00
2008-10-18 21:54:03 +02:00
2009-09-04 22:15:48 +02:00
2008-10-18 21:54:03 +02:00
2008-05-21 00:14:08 +02:00
2009-10-07 09:15:26 +02:00
2009-10-07 09:15:20 +02:00
2009-10-07 09:15:26 +02:00
2008-10-18 21:54:03 +02:00
2009-10-07 09:15:20 +02:00
2008-10-18 21:54:03 +02:00
2009-09-11 10:35:58 +02:00
2008-10-18 21:54:03 +02:00