Warning: Permanently added '10.128.10.24' (ECDSA) to the list of known hosts.
2019/01/31 10:18:06 parsed 1 programs
2019/01/31 10:18:12 executed programs: 0
2019/01/31 10:18:17 executed programs: 189
login: panic: vmmaplk: lock not shared

Stopped at      db_enter+0x18:  addq    $0x8,%rsp

    TID    PID    UID     PRFLAGS     PFLAGS  CPU  COMMAND

 141546  18841  32767        0x10          0    0  syz-executor1

*481721  18841  32767        0x10  0x4000000    1K syz-executor1

db_enter() at db_enter+0x18

panic() at panic+0x16c

_rw_exit_read(ffff800020bba720,2b0,ffff800020caaa78) at _rw_exit_read+0x12b

uvm_fault(bb7a068215a8eb54,ffff800020bba720,0,ffffffff81d7f950) at uvm_fault+0x

23bb

pageflttrap() at pageflttrap+0x216

kerntrap(f36968e77958211b) at kerntrap+0xeb

alltraps_kern(6,4,80047462,0,fffffd806df68438,20000080) at alltraps_kern+0x7b

copyin(35dca4fcf05386f5,10,ffff800020bba720,14a33ad0628,0,360) at copyin+0x56

syscall(d64ee200b8cbf6f4) at syscall+0x5a0

Xsyscall(6,0,ffffffffffffff51,0,3,147eb9871a0) at Xsyscall+0x128

end of kernel

end trace frame: 0x14a33ad06b0, count: 5

https://www.openbsd.org/ddb.html describes the minimum info required in bug

reports.  Insufficient info makes it difficult to find and fix bugs.

ddb{1}> 

ddb{1}> set $lines = 0

ddb{1}>