login: panic: pool_do_put: mcl2k: double pool_put: 0xffffff007513b800
Stopped at      db_enter+0xa:   popq    %rbp
    TID    PID    UID     PRFLAGS     PFLAGS  CPU  COMMAND
*  1487  55431      0           0  0x4000000    0  syz-executor1
db_enter() at db_enter+0xa
panic() at panic+0x147
pool_do_put(ffffff007513b800,ffffffff81ec0020) at pool_do_put+0x2e2
pool_put(0,ffffff0064eb0900) at pool_put+0x37
m_extfree(61621a5f44e92fdb) at m_extfree+0xb1
m_free(ffffff0064eb0900) at m_free+0xee
m_freem(16) at m_freem+0x2d
soreceive(0,ffffff006e714d88,ffff800021165de0,1272,ffff800021165e70,ffff800021165d80) at soreceive+0x1131
recvit(ffff800021165ea0,ffff800021165fa8,ffff800021165f90,ffff8000ffffc710,0) at recvit+0x28c
sys_recvmsg(ffff800021166030,ffff8000ffffc710,ffff8000210a6628) at sys_recvmsg+0x120
syscall(0) at syscall+0x3e4
Xsyscall(6,0,ffffffffffffffbf,0,3,98c5b97c010) at Xsyscall+0x128
end of kernel
end trace frame: 0x98f080f1dd0, 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.