> kleink@ira.uka.de said:
> > Since pmaxen are 32-bit-only machines I'd say explicitly using ELF32
> > symbols would be the appropriate solution.  (... and apologies for
> > missing this one!) 

Not quite. Three models have r4k cores, and there is interest 
(from Nisimura-san and others) in getting  64-bit code working on them.