panic: pool_do_put: mcl2k: double pool_put: 0xffffff0005fcb800
Stopped at      db_enter+0xa:   popq    %rbp
    TID    PID    UID     PRFLAGS     PFLAGS  CPU  COMMAND
*364064  33471      0           0  0x4000000    0  syz-executor0
db_enter() at db_enter+0xa
panic() at panic+0x147
pool_do_put(ffffff0005fcb800,ffffffff81ec0020) at pool_do_put+0x2e2
pool_put(0,ffffff006d432000) at pool_put+0x37
m_extfree(bce22fb4c3f1879a) at m_extfree+0xb1
m_free(ffffff006d432000) at m_free+0xee
m_freem(16) at m_freem+0x2d
soreceive(0,ffffff006e705908,0,1000,ffff800021158688,ffff800021158590) at soreceive+0x1131
recvit(ffff8000ffffd070,ffff800021158720,0,ffff800021158738,a33593b20f8) at recvit+0x28c
sys_recvfrom(ffff8000211587c0,ffff8000ffffd070,ffff8000210a5cb0) at sys_recvfrom+0xbc
syscall(0) at syscall+0x3e4
Xsyscall(6,0,ffffffffffffffbc,0,6,a3079580010) at Xsyscall+0x128
end of kernel
end trace frame: 0xa33593b2180, count: 3
https://www.openbsd.org/ddb.html describes the minimum info required in bug
reports.  Insufficient info makes it difficult to find and fix bugs.