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!) 

There seems to be one more: The <mips/elf.h> header duplicates a lot of
the new <sys/exec_elf.h>:

cc  -O2 -Wall -Werror -Wstrict-prototypes -Wmissing-prototypes  -Wpointer-arith
-Wno-main -G 0  -mno-abicalls -mno-half-pic -I. -I/usr/src/sys/arch 
-I/usr/src/s
ys -nostdinc -DMIPS1 -DMIPS3 -DLKM -DNKMEMCLUSTERS=1024 -DHZ=256 -DMAXUSERS=64 
-
D_KERNEL -Dpmax  -c /usr/src/sys/arch/mips/mips/cpu_exec.c
In file included from machine/elf.h:3,
                 from /usr/src/sys/arch/mips/mips/cpu_exec.c:61:
mips/elf.h:105: warning: `PT_HIPROC' redefined
/usr/src/sys/sys/exec_elf.h:201: warning: this is the location of the previous 
d
efinition
mips/elf.h:106: warning: `PT_MIPS_REGINFO' redefined
/usr/src/sys/sys/exec_elf.h:203: warning: this is the location of the previous 
d
efinition
[...]

(The SHN_MIPS_ACOMMON there looks bogus btw.)

best regards
Matthias