login: [ 153.4565644] panic: kernel diagnostic assertion "mutex_owned(pipe->pipe_lock)" failed: file "/syzkaller/managers/netbsd/kernel/sys/kern/sys_pipe.c", line 371 
[ 15[3 1.5435.6456546456] 4c4p]u W0A: RBNeIgNinG :t SraPLc ebNaOcTk .L.OW.
E
[ 153.4565644] RED ON TRAP EXIT 6 0
[ 153.4565644] WARNING: SPL NOT LOWEREvDp aOnNi c(S)YS CatAL L 60 0 EXIT e787f800 7
[ 153[. 4516535.644546]5 W64A4RN] InNGet:b sSdPL: vNpOaTn iLcO+W0ExR2E1D4 
[
 153.4565644] ON SYSCALL 0 539442688 EXIT 1 7
[ 153.4565644] WARNING: SPL NOT LOWERED ON SYSCALL 0 -420458248 EXIT e6f05000 7
[ 153.4565644] WA_RGLNOINBGAL: _S_sPLub N_DO_T 6L5O53W5ER_0ED_ cpONu _cTRonAfPi EguXrITe( 6)  a0t
[
 [1 5135.43.5645566445]64 4 ] WARNING: SPL NOT LOWERED ON TRAPne tEXbIsTd: 6_ G0L
[
 [15 31.543.56455664564]44 O] BWALAR_N_sIuNGb:_D S_6P5L5 3N5O_0T_ LcpOWuE_RcEoDnf iONg uSrYe
S
[ 153.4565644] CALL 0 -410519304 EXIT e787f800 7
[ 153.4565644] WARNIpNiGp:e lSoPcLk (N) OTa t LOWERED ON SYSCALnLe 0t bs53d7:1pi90p0el96o cEk+XI0Tx b00 
[
 153.4565644] 7
[ 153.4565644] WARNING: SPL NOT LOWERED ON SpYipSCeA_wLLri 0t e-()41 0a5t1 9304 EXIT e787f80ne0 tb7s
[
 153.4565644] d:pipe_write+0x99
[ 153.4565644] dofilewrite() at netbsd:dofilewrite+0x1b7
[ 153.4565644] sys_write() at netbsd:sys_write+0x78
[ 153.4565644] sys___syscall() at netbsd:sys___syscall+0xe2
[ 153.4565644] syscall() at netbsd:syscall+0x32e
[ 153.4565644] --- syscall (number 198) ---
[ 153.4565644] 75eee5e3f4aa:
[ 153.4565644] cpu0: End traceback...

[ 153.4565644] dumping to dev 4,1 (offset=0, size=0): not possible
[ 153.4565644] rebooting...
SeaBIOS (version 1.8.2-20190322_093631-google)
Total RAM Size = 0x00000001e0000000 = 7680 MiB
CPUs found: 2     Max CPUs supported: 2
found virtio-scsi at 0:3
virtio-scsi vendor='Google' product='PersistentDisk' rev='1' type=0 removable=0
virtio-scsi blksize=512 sectors=4194304 = 2048 MiB
drive 0x000f29c0: PCHS=0/0/0 translation=lba LCHS=520/128/63 s=4194304
Booting from Hard Disk 0...

>> NetBSD/x86 BIOS Boot, Revision 5.10 (Tue Jul 17 14:59:51 UTC 2018) (from NetBSD 8.0)
>> Memory: 639/3144640 k

     1. Boot normally
     2. Boot single user
     3. Disable ACPI
     4. Disable ACPI and SMP
     5. Drop to boot prompt