> > #define CPU_ID_80200            0x69052000

> Assuming that with the CPU_ID_80200 you mean the Intel
> Xscale(1?) ... would it then not be a better idea to call it
> CPU_ID_Xscale1 or CPU_ID_Xscale80200 ??

Well, Xscale1 would be wrong, since that suggests the architecture rather 
than the specific chip that is being identified here.  The other is 
long-winded IMO, but maybe CPU_ID_X80200, perhaps with a comment /* XScale 
*/ after it would be sensible.

R.