inetd crashes VKERNEL

[Thomas Nikolajsen <thomas.nikolajsen@xxxxxxx>]

inetd crashes VKERNEL, see below;
it crashes almost every time.

Also: I get no DDB prompt when VKERNEL crashes;
using vkernel w/o SMP I do get DDB prompt.

 -thomas
-
root@vonzales0# inetd
root@vonzales0# panic: memory chunk 0x53f09190 is already free!
mp_lock = 00000001; cpuid = 1
Trace beginning at frame 0x56fc3b38
panic(56fc3b5c,53f09190,53f080d0,53f09190,56fc3b84) at 0x80b3e80
panic(81f607c,53f09190,53f09190,53f08000,4140048c) at 0x80b3e80
kfree(53f09190,8226980,281460a0,1,0) at 0x80b196f
so_pru_ctloutput(567f1ea0,56fc3c54,570bff00,56fc3c07,53f347a8) at 0x80e35b2
sosetopt(567f1ea0,56fc3c54,56ffdaf0,822028c,5671fb98) at 0x80e45e4
kern_setsockopt(4,56fc3c54,1,0,15) at 0x80e7a54
sys_setsockopt(56fc3c98,6,0,0,56707c80) at 0x80e84c4
syscall2(56fc3d40,6,53f348c8,56707c80,0) at 0x81e036e
user_trap(56fc3d40,53f348c8,81df98c,0,81e0ba2) at 0x81e0598
go_user(56fc3d38,0,0,7b,0) at 0x81e099b
Debugger("panic")
 
CPU1 stopping CPUs: 0x00000001