With the recent improvements to witness I can now get a better
report of the lock order reversal I can reproduce on arm64 on
my rock5b.
May 12 13:39:19 rock5b /bsd: witness: lock order reversal:
May 12 13:39:19 rock5b /bsd: 1st 0xffffff8001200700 /sys/dev/rnd.c:321
(/sys/dev/rnd.c:321)
May 12 13:39:19 rock5b /bsd: 2nd 0xffffff8001212d98
/sys/kern/kern_timeout.c:57 (/sys/kern/kern_timeout.c:57)
May 12 13:39:19 rock5b /bsd: lock order [1] /sys/dev/rnd.c:321
(/sys/dev/rnd.c:321) -> [2] /sys/kern/kern_timeout.c:57
(/sys/kern/kern_timeout.c:57)
May 12 13:39:19 rock5b /bsd: #0 mtx_enter+0x48
May 12 13:39:19 rock5b /bsd: #1 timeout_del+0x30
May 12 13:39:19 rock5b /bsd: #2 dequeue_randomness+0x3c
May 12 13:39:19 rock5b /bsd: #3 extract_entropy+0x94
May 12 13:39:19 rock5b /bsd: #4 _rs_stir+0x2c
May 12 13:39:19 rock5b /bsd: #5 arc4random_buf+0x108
May 12 13:39:19 rock5b /bsd: #6 setregs+0x68
May 12 13:39:19 rock5b /bsd: #7 sys_execve+0xcbc
May 12 13:39:19 rock5b /bsd: #8 svc_handler+0x458
May 12 13:39:19 rock5b /bsd: #9 do_el0_sync+0xcc
May 12 13:39:19 rock5b /bsd: #10 handle_el0_sync+0x74
May 12 13:39:19 rock5b /bsd: lock order [2] /sys/kern/kern_timeout.c:57
(/sys/kern/kern_timeout.c:57) -> [3] &sched_lock (&sched_lock)
May 12 13:39:19 rock5b /bsd: #0 __mp_lock+0x64
May 12 13:39:19 rock5b /bsd: #1 sleep_setup+0x70
May 12 13:39:19 rock5b /bsd: #2 msleep+0x9c
May 12 13:39:19 rock5b /bsd: #3 softclock_thread+0xb4
May 12 13:39:19 rock5b /bsd: #4 proc_trampoline+0x10
May 12 13:39:19 rock5b /bsd: lock order [3] &sched_lock (&sched_lock) -> [4]
/sys/arch/arm64/arm64/pmap.c:221 (/sys/arch/arm64/arm64/pmap.c:221)
May 12 13:39:19 rock5b /bsd: #0 mtx_enter+0x48
May 12 13:39:19 rock5b /bsd: #1 pmap_allocate_asid+0x20
May 12 13:39:19 rock5b /bsd: #2 pmap_setttb+0x80
May 12 13:39:19 rock5b /bsd: #3 $x.2+0x38
May 12 13:39:19 rock5b /bsd: #4 sleep_finish+0x108
May 12 13:39:19 rock5b /bsd: #5 main+0x42c
May 12 13:39:19 rock5b /bsd: #6 virtdone+0x74
May 12 13:39:19 rock5b /bsd: lock order [4] /sys/arch/arm64/arm64/pmap.c:221
(/sys/arch/arm64/arm64/pmap.c:221) -> [1] /sys/dev/rnd.c:321
(/sys/dev/rnd.c:321)
May 12 13:39:19 rock5b /bsd: #0 mtx_enter+0x48
May 12 13:39:19 rock5b /bsd: #1 arc4random+0x2c
May 12 13:39:19 rock5b /bsd: #2 pmap_find_asid+0x44
May 12 13:39:19 rock5b /bsd: #3 pmap_allocate_asid+0x28
May 12 13:39:19 rock5b /bsd: #4 pmap_setttb+0x80
May 12 13:39:19 rock5b /bsd: #5 $x.2+0x38
May 12 13:39:19 rock5b /bsd: #6 sleep_finish+0x108
May 12 13:39:19 rock5b /bsd: #7 main+0x42c
May 12 13:39:19 rock5b /bsd: #8 virtdone+0x74
OpenBSD 7.5-current (GENERIC.MP) #0: Sun May 12 13:09:35 EDT 2024
t...@rock5b.intricatesoftware.com:/sys/arch/arm64/compile/GENERIC.MP
real mem = 16901328896 (16118MB)
avail mem = 16162705408 (15413MB)
random: good seed from bootblocks
mainbus0 at root: Radxa ROCK 5 Model B
psci0 at mainbus0: PSCI 1.1, SMCCC 1.2, SYSTEM_SUSPEND
efi0 at mainbus0: UEFI 2.10
efi0: Das U-Boot rev 0x20240400
smbios0 at efi0: SMBIOS 3.7.0
smbios0: vendor U-Boot version "2024.04" date 04/01/2024
smbios0: radxa Radxa ROCK 5 Model B
cpu0 at mainbus0 mpidr 0: ARM Cortex-A55 r2p0
cpu0: 32KB 64b/line 4-way L1 VIPT I-cache, 32KB 64b/line 4-way L1 D-cache
cpu0: 128KB 64b/line 4-way L2 cache
cpu0: 4096KB 64b/line 16-way L3 cache
cpu0:
DP,RDM,Atomic,CRC32,SHA2,SHA1,AES+PMULL,LRCPC,DPB,ASID16,PAN+ATS1E1,LO,HPDS,VH,HAFDBS,SSBS
cpu1 at mainbus0 mpidr 100: ARM Cortex-A55 r2p0
cpu1: 32KB 64b/line 4-way L1 VIPT I-cache, 32KB 64b/line 4-way L1 D-cache
cpu1: 128KB 64b/line 4-way L2 cache
cpu1: 4096KB 64b/line 16-way L3 cache
cpu2 at mainbus0 mpidr 200: ARM Cortex-A55 r2p0
cpu2: 32KB 64b/line 4-way L1 VIPT I-cache, 32KB 64b/line 4-way L1 D-cache
cpu2: 128KB 64b/line 4-way L2 cache
cpu2: 4096KB 64b/line 16-way L3 cache
cpu3 at mainbus0 mpidr 300: ARM Cortex-A55 r2p0
cpu3: 32KB 64b/line 4-way L1 VIPT I-cache, 32KB 64b/line 4-way L1 D-cache
cpu3: 128KB 64b/line 4-way L2 cache
cpu3: 4096KB 64b/line 16-way L3 cache
cpu4 at mainbus0 mpidr 400: ARM Cortex-A76 r4p0
cpu4: 64KB 64b/line 4-way L1 PIPT I-cache, 64KB 64b/line 4-way L1 D-cache
cpu4: 512KB 64b/line 8-way L2 cache
cpu4: 4096KB 64b/line 16-way L3 cache
cpu4:
DP,RDM,Atomic,CRC32,SHA2,SHA1,AES+PMULL,LRCPC,DPB,ASID16,PAN+ATS1E1,LO,HPDS,VH,HAFDBS,CSV3,CSV2,SSBS
cpu5 at mainbus0 mpidr 500: ARM Cortex-A76 r4p0
cpu5: 64KB 64b/line 4-way L1 PIPT I-cache, 64KB 64b/line 4-way L1 D-cache
cpu5: 512KB 64b/line 8-way L2 cache
cpu5: 4096KB 64b/line 16-way L3 cache
cpu6 at mainbus0 mpidr 600: ARM Cortex-A76 r4p0
cpu6: 64KB 64b/line 4-way L1 PIPT I-cache, 64KB 64b/line 4-way L1 D-cache
cpu6: 512KB 64b/line 8-way L2 cache
cpu6: 4096KB 64b/line 16-way L3 cache
cpu7 at mainbus0 mpidr 700: ARM Cortex-A76 r4p0
cpu7: 64KB 64b/line 4-way L1 PIPT I-cache, 64KB 64b/line 4-way L1 D-cache
cpu7: 512KB 64b/line 8-way L2 cache
cpu7: 4096KB 64b/line 16-way L3 cache
"optee" at mainbus0 not configured
scmi0 at mainbus0: SCMI 2.0
"gap2" at mainbus0 not configured
"gap1" at mainbus0 not configured
apm0 at mainbus0
syscon0 at mainbus0: "syscon"
syscon1 at mainbus0: "syscon"
syscon2 at mainbus0: "syscon"
syscon3 at mainbus0: "syscon"
syscon4 at mainbus0: "syscon"
syscon5 at mainbus0: "syscon"
syscon6 at mainbus0: "syscon"
syscon7 at mainbus0: "syscon"
"usb2-phy" at syscon7 not configured
syscon8 at mainbus0: "syscon"
"usb2-phy" at syscon8 not configured
syscon9 at mainbus0: "syscon"
rkclock0 at mainbus0
CRU_GATE_CON20: 0x0000aa05
CRU_GATE_CON21: 0x000000a0
CRU_GATE_CON22: 0x00000263
CRU_GATE_CON23: 0x0000aa05
CRU_GATE_CON24: 0x000000a0
CRU_GATE_CON25: 0x00000263
syscon10 at mainbus0: "power-management"
"power-controller" at syscon10 not configured
syscon11 at mainbus0: "qos"
syscon12 at mainbus0: "qos"
syscon13 at mainbus0: "qos"
syscon14 at mainbus0: "qos"
syscon15 at mainbus0: "qos"
syscon16 at mainbus0: "qos"
syscon17 at mainbus0: "qos"
syscon18 at mainbus0: "qos"
syscon19 at mainbus0: "qos"
syscon20 at mainbus0: "qos"
syscon21 at mainbus0: "qos"
syscon22 at mainbus0: "qos"
syscon23 at mainbus0: "qos"
syscon24 at mainbus0: "qos"
syscon25 at mainbus0: "qos"
syscon26 at mainbus0: "qos"
syscon27 at mainbus0: "qos"
syscon28 at mainbus0: "qos"
syscon29 at mainbus0: "qos"
syscon30 at mainbus0: "qos"
syscon31 at mainbus0: "qos"
syscon32 at mainbus0: "qos"
syscon33 at mainbus0: "qos"
syscon34 at mainbus0: "qos"
syscon35 at mainbus0: "qos"
syscon36 at mainbus0: "qos"
syscon37 at mainbus0: "qos"
syscon38 at mainbus0: "qos"
syscon39 at mainbus0: "qos"
syscon40 at mainbus0: "qos"
syscon41 at mainbus0: "qos"
syscon42 at mainbus0: "qos"
syscon43 at mainbus0: "qos"
syscon44 at mainbus0: "qos"
syscon45 at mainbus0: "qos"
syscon46 at mainbus0: "qos"
syscon47 at mainbus0: "qos"
syscon48 at mainbus0: "qos"
syscon49 at mainbus0: "qos"
syscon50 at mainbus0: "qos"
syscon51 at mainbus0: "qos"
syscon52 at mainbus0: "qos"
syscon53 at mainbus0: "qos"
syscon54 at mainbus0: "qos"
syscon55 at mainbus0: "qos"
syscon56 at mainbus0: "qos"
syscon57 at mainbus0: "qos"
syscon58 at mainbus0: "qos"
agintc0 at mainbus0 mbi shift 4:4 nirq 512 nredist 8 ipi: 0, 1, 2:
"interrupt-controller"
agintcmsi0 at agintc0
agintcmsi1 at agintc0
rkcomphy0 at mainbus0
rkcomphy1 at mainbus0
rkpinctrl0 at mainbus0: "pinctrl"
rkgpio0 at rkpinctrl0
rkgpio1 at rkpinctrl0
rkgpio2 at rkpinctrl0
rkgpio3 at rkpinctrl0
rkgpio4 at rkpinctrl0
syscon59 at mainbus0: "syscon"
syscon60 at mainbus0: "syscon"
rkcomphy2 at mainbus0
rkpciephy0 at mainbus0
syscon61 at mainbus0: "syscon"
syscon62 at mainbus0: "syscon"
"usb2-phy" at syscon62 not configured
syscon63 at mainbus0: "syscon"
syscon64 at mainbus0: "syscon"
syscon65 at mainbus0: "syscon"
syscon66 at mainbus0: "syscon"
"usb2-phy" at syscon66 not configured
"fit-images" at mainbus0 not configured
"firmware" at mainbus0 not configured
"pmu-a55" at mainbus0 not configured
"pmu-a76" at mainbus0 not configured
"clock-0" at mainbus0 not configured
rkdrm0 at mainbus0
drm0 at rkdrm0
agtimer0 at mainbus0: 24000 kHz
"clock-1" at mainbus0 not configured
"clock-2" at mainbus0 not configured
"sram" at mainbus0 not configured
ehci0 at mainbus0
usb0 at ehci0: USB revision 2.0
uhub0 at usb0 configuration 1 interface 0 "Generic EHCI root hub" rev 2.00/1.00
addr 1
ohci0 at mainbus0: version 1.0
ehci1 at mainbus0
usb1 at ehci1: USB revision 2.0
uhub1 at usb1 configuration 1 interface 0 "Generic EHCI root hub" rev 2.00/1.00
addr 1
ohci1 at mainbus0: version 1.0
xhci0 at mainbus0, xHCI 1.10
usb2 at xhci0: USB revision 3.0
uhub2 at usb2 configuration 1 interface 0 "Generic xHCI root hub" rev 3.00/1.00
addr 1
"sram" at mainbus0 not configured
rkiic0 at mainbus0
iic0 at rkiic0
fanpwr0 at iic0 addr 0x42: RK8602, 0.80 VDC
fanpwr1 at iic0 addr 0x43: RK8602, 0.80 VDC
rkpwm0 at mainbus0
dwpcie0 at mainbus0
"dfi" at mainbus0 not configured
"spi" at mainbus0 not configured
dwmmc0 at mainbus0: 49 MHz base clock
sdmmc0 at dwmmc0: 4-bit, sd high-speed, mmc high-speed, dma
dwmmc1 at mainbus0: 50 MHz base clock
sdmmc1 at dwmmc1: 4-bit, dma
"mmc" at mainbus0 not configured
"i2s" at mainbus0 not configured
"dma-controller" at mainbus0 not configured
"dma-controller" at mainbus0 not configured
rkiic1 at mainbus0
iic1 at rkiic1
fusbtc0 at iic1 addr 0x22
"timer" at mainbus0 not configured
"watchdog" at mainbus0 not configured
rkspi0 at mainbus0
rkpmic0 at rkspi0: RK806
com0 at mainbus0: dw16550, 64 byte fifo
com0: console
com1 at mainbus0: dw16550, 64 byte fifo
"adc" at mainbus0 not configured
rkiic2 at mainbus0
iic2 at rkiic2
pcxrtc0 at iic2 addr 0x51: battery ok
rkiic3 at mainbus0
iic3 at rkiic3
escodec0 at iic3 addr 0x11
"efuse" at mainbus0 not configured
"dma-controller" at mainbus0 not configured
"sram" at mainbus0 not configured
"pinctrl" at mainbus0 not configured
"video-codec" at mainbus0 not configured
"syscon" at mainbus0 not configured
"syscon" at mainbus0 not configured
dwpcie1 at mainbus0
dwpcie2 at mainbus0
"phy" at mainbus0 not configured
"phy" at mainbus0 not configured
graphaudio0 at mainbus0
gpioleds0 at mainbus0: no LEDs
pwmfan0 at mainbus0
"vcc3v3-pcie2x1l0-regulator" at mainbus0 not configured
"vcc3v3-pcie2x1l2-regulator" at mainbus0 not configured
"vcc3v3-pcie30-regulator" at mainbus0 not configured
"vcc5v0-host-regulator" at mainbus0 not configured
"vcc5v0-sys-regulator" at mainbus0 not configured
"vcc-1v1-nldo-s3-regulator" at mainbus0 not configured
"binman" at mainbus0 not configured
"dmc" at mainbus0 not configured
xhci1 at mainbus0, xHCI 1.10
usb3 at xhci1: USB revision 3.0
uhub3 at usb3 configuration 1 interface 0 "Generic xHCI root hub" rev 3.00/1.00
addr 1
"syscon" at mainbus0 not configured
"syscon" at mainbus0 not configured
"syscon" at mainbus0 not configured
"syscon" at mainbus0 not configured
"phy" at mainbus0 not configured
xhci2 at mainbus0, xHCI 1.10
usb4 at xhci2: USB revision 3.0
uhub4 at usb4 configuration 1 interface 0 "Generic xHCI root hub" rev 3.00/1.00
addr 1
"syscon" at mainbus0 not configured
"syscon" at mainbus0 not configured
"phy" at mainbus0 not configured
"vcc12v-dcin-regulator" at mainbus0 not configured
usb5 at ohci0: USB revision 1.0
uhub5 at usb5 configuration 1 interface 0 "Generic OHCI root hub" rev 1.00/1.00
addr 1
usb6 at ohci1: USB revision 1.0
uhub6 at usb6 configuration 1 interface 0 "Generic OHCI root hub" rev 1.00/1.00
addr 1
pci0 at dwpcie0
ppb0 at pci0 dev 0 function 0 "Rockchip RK3588" rev 0x00
pci1 at ppb0 bus 65
rge0 at pci1 dev 0 function 0 "Realtek RTL8125" rev 0x05: msi, address
00:e0:4c:03:1f:1a
pci2 at dwpcie1
ppb1 at pci2 dev 0 function 0 "Rockchip RK3588" rev 0x00
pci3 at ppb1 bus 1
nvme0 at pci3 dev 0 function 0 vendor "SK hynix", unknown product 0x174a rev
0x00: msix, NVMe 1.3
nvme0: SHGP31-500GM, firmware 41062C20, serial FJBCN53201010CI4Z
scsibus0 at nvme0: 2 targets, initiator 0
sd0 at scsibus0 targ 1 lun 0: <NVMe, SHGP31-500GM, 4106>
sd0: 476940MB, 512 bytes/sector, 976773168 sectors
dwpcie2: can't initialize hardware
fusbtc0: attached (sink)
fusbtc0: connected in device mode
fusbtc0: can draw 1500 mA
scsibus1 at sdmmc0: 2 targets, initiator 0
sd1 at scsibus1 targ 1 lun 0: <SD/MMC, JB1RT, 0030> removable
sd1: 30528MB, 512 bytes/sector, 62521344 sectors
sdmmc1: can't enable card
uhub7 at uhub0 port 1 configuration 1 interface 0 "Terminus Technology USB 2.0
Hub" rev 2.00/1.11 addr 2
vscsi0 at root
scsibus2 at vscsi0: 256 targets
softraid0 at root
scsibus3 at softraid0: 256 targets
root on sd0a (5707c9ece8a4013f.a) swap on sd0b dump on sd0b
rkdrm0: no display interface ports configured
