DF5530 race harness (production paths: if_clone_create("usbus0") vs usbpf_detach(ubus))
boot: Wed Oct  7 00:08:24 UTC 2026

login: DF5530: racing if_clone_create(usbus0) vs usbpf_detach() for up to 240s...
DF5530: racing... 0s elapsed


Fatal trap 12: page fault while in kernel mode
cpuid = 5; lapic id = 5
fault virtual address	= 0x5c8
fault code		= supervisor write data, page not present
instruction pointer	= 0x8:0xffffffff80a50a9f
stack pointer	        = 0x10:0xfffff80118723a60
frame pointer	        = 0x10:0xfffff80118723a70
code segment		= base 0x0, limit 0xfffff, type 0x1b
			= DPL 0, pres 1, long 0, def32 0, gran 1
processor eflags	= interrupt enabled, resume, IOPL = 0
current process		= Idle
current thread          = pri 12 
kernel: type 12 trap, code=2

CPU5 stopping CPUs: 0x0000001f
 stopped
Stopped at      usbpf_clone_destroy+0xf:        movq    $0,0x5c8(%rax)
db> 

---------------------------------------------------------------
(earlier independent run of the same harness, v1 detacher, same sink:
 "Stopped at      usbpf_clone_destroy+0xf:        movq    $0,0x5c8(%rax)")