Correct...
It depends what you mean. The FX51, only runs at 2.2GHz, but gives
performance comparable (better in some instructions, and worse in others),
than a Pentium4 3.4GHz. There is no AMD64 (yet), that clocks at 3.2GHz,
but the FX51, and the FX53, both give performance (have 'PR' scores),
better than a 3.2Ghz P4.
So there is 'no such thing' as a AMD64 3.2GHz, but there is a AMD64
PR3200+.