I'm trying to assemble a unified <arm/armreg.h> out of <arm32/cpu.h>,
<arm26/armreg.h> and all the ARM data sheets I can lay my hands on.  In an
attempt at documenting the chaos of historical CPU IDs, I'd like to record
the actual 32-bit CPU ID for each processor (ignoring the bottom four
bits).  To this end, could anyone provide me with the full CPU ID for any
of the following?:

ARM700
ARM810
ARM7500
ARM7500FE

FWIW, here's the list I've got so far:

#define CPU_ID_ARM3             0x41560300
#define CPU_ID_ARM610           0x41560610
#define CPU_ID_ARM710           0x41007100
#define CPU_ID_ARM7100          0x41047100 
#define CPU_ID_ARM710T          0x41807100
#define CPU_ID_ARM720T          0x41807200
#define CPU_ID_ARM740T8K        0x41807400 /* XXX no MMU, 8KB cache */
#define CPU_ID_ARM740T4K        0x41817400 /* XXX no MMU, 4KB cache */
#define CPU_ID_ARM920T          0x41129200 
#define CPU_ID_ARM922T          0x41029220 
#define CPU_ID_ARM940T          0x41029400 /* XXX no MMU */
#define CPU_ID_ARM946ES         0x41049460 /* XXX no MMU */
#define CPU_ID_ARM966ES         0x41049660 /* XXX no MMU */
#define CPU_ID_ARM966ESR1       0x41059660 /* XXX no MMU */
#define CPU_ID_SA110            0x4401a100
#define CPU_ID_SA1100           0x4401a110
#define CPU_ID_SA1110           0x6901b110
#define CPU_ID_80200            0x69052000

Obviously, CPU IDs for other ARMs would be nice too.  I'm trying to get a
fairly complete list, even if NetBSD stands no chance of running on some
of them.

-- 
Ben Harris                                                   <bjh21@netbsd.org>
Portmaster, NetBSD/arm26               <URL:http://www.netbsd.org/Ports/arm26/>