panic: pool_do_put: mcl2k: double pool_put: 0xffffff0006d3a000
Stopped at      db_enter+0xa:   popq    %rbp
    TID    PID    UID     PRFLAGS     PFLAGS  CPU  COMMAND
*149383  49461      0           0  0x4000000    0  syz-executor1
db_enter() at db_enter+0xa
panic() at panic+0x147
pool_do_put(ffffff0006d3a000,ffffffff81e95980) at pool_do_put+0x2e2
pool_put(0,ffffff006ee64700) at pool_put+0x37
m_extfree(4827c29eab66cbba) at m_extfree+0xb1
m_free(ffffff006ee64700) at m_free+0xee
m_freem(16) at m_freem+0x2d
soreceive(0,ffffff006f2dda80,0,9a,ffff80002116cd38,ffff80002116cc40) at soreceive+0x1131
recvit(ffff8000210ac020,ffff80002116cdd0,0,ffff80002116cde8,185fe227708) at recvit+0x28c
sys_recvfrom(ffff80002116ce70,ffff8000210ac020,ffff8000210a5660) at sys_recvfrom+0xbc
syscall(0) at syscall+0x3e4
Xsyscall(6,0,ffffffffffffffbd,0,6,18326129010) at Xsyscall+0x128
end of kernel
end trace frame: 0x185fe227790, 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.