[ECOS] ARM arch: unknown asm insn "mrc" in v5T_semantics()

[Heiko Panther]

I'm targetting an ARM7 TDMI processor, and gcc 3.3.2 complains about 
this inline asm instruction from function arm_stub.h:v5T_semantics().

     asm volatile ("mrc  p15,0,%0,c0,c0,0\n"
		  : "=r" (id) : /* no inputs */);

What's up with this insn, I can't find it in the reference. And what 
should I correct to make it work?

Thanks,
Heiko Panther

-- 
Before posting, please read the FAQ: http://ecos.sourceware.org/fom/ecos
and search the list archive: http://ecos.sourceware.org/ml/ecos-discuss