Hi,

I just got a kernel crash while testing compat netbsd32 on our
bi-opteron.

The problem arise with this small program, compiled on i386 and run on
amd64 with compat netbsd32 :

#include <stdio.h>

int foo() { return 0; }

int main(int argc, char **argv) {

  printf("Hello World\n");
  foo();

  exit(0); }


njoly@calimero [~]> while true; do ./a32.out; done
Hello World
Hello World
[...]
Hello World
Hello World
panic: lockmgr: processor 0, not exclusive lock holder 1 unlocking
Stopped at      netbsd:cpu_Debugger+0x1:
db{0}> bt
cpu_Debugger() at netbsd:cpu_Debugger+0x1
kernel: page fault trap, code=0
Faulted in DDB; continuing...

This is a GENERIC.MP kernel with the following 2 lines for the kernel
debugger :

options DDB
options DDB_ONPANIC=1

NetBSD 1.6ZF (CALIMERO) #1: Mon Dec  1 13:58:49 CET 2003 njoly@calimero.sis.pasteur.fr:/local/src/NetBSD/obj/amd64/sys/arch/amd64/compile/CALIMERO

Thanks in advance,
Regards.

-- 
Nicolas Joly

Biological Software and Databanks.
Institut Pasteur, Paris.