dfwb3: resolved: rxeof=0xffffffff808dae30 init=0xffffffff808da6d0 stop=0xffffffff808d9850 start=0 txeof=0 watchdog=0 mbstat=0 mbtypes=0
dfwb3: === DF-4268: race the exact-semantics transcription handler M-bM^@M^T the userland 'chip' (df8_toggle, other CPU) rewrites slot0.wb_status GOOD(0xc0400300/len64) <-> HUGE(0xffff0300/len16383), both OWN=1 (mid-write-back transient), 4:1 duty ===
dfwb3: [4268-armed] head==chain0:1 slot0.status=0x80000300 OWN:1 RXLEN:0 mbuf=0xfffff8011717b400
dfwb3: dispatch CPU=0 M-bM^@M^T START the toggler now (usched -p <other-cpu> ./df8_toggle); racing for up to 250 dispatches
dfwb3: if_input: m=0xfffff80089799000 m_len=60 pkthdr.len=60 dst=ff:ff:ff:ff:ff:ff type=df67 (further normal deliveries suppressed in log)
dfwb3: if_input: m=0xfffff80089799000 m_len=60 pkthdr.len=60 dst=ff:ff:ff:ff:ff:ff type=df67 (further normal deliveries suppressed in log)
dfwb3: if_input: m=0xfffff80089799000 m_len=60 pkthdr.len=60 dst=ff:ff:ff:ff:ff:ff type=df67 (further normal deliveries suppressed in log)
dfwb3: dispatch 25: delivered=3 maxplen=60 won=0
dfwb3: if_input: m=0xfffff80089799000 m_len=60 pkthdr.len=60 dst=ff:ff:ff:ff:ff:ff type=df67 (further normal deliveries suppressed in log)
dfwb3: if_input: m=0xfffff80089799000 m_len=60 pkthdr.len=60 dst=ff:ff:ff:ff:ff:ff type=df67 (further normal deliveries suppressed in log)
dfwb3: dispatch 50: delivered=6 maxplen=60 won=0
dfwb3: dispatch 75: delivered=7 maxplen=60 won=0
dfwb3: dispatch 100: delivered=9 maxplen=60 won=0
dfwb3: dispatch 125: delivered=10 maxplen=60 won=0
dfwb3: dispatch 150: delivered=11 maxplen=60 won=0
dfwb3: dispatch 175: delivered=13 maxplen=60 won=0
dfwb3: dispatch 200: delivered=15 maxplen=60 won=0
dfwb3: dispatch 225: delivered=16 maxplen=60 won=0
dfwb3: dispatch 250: delivered=16 maxplen=60 won=0
dfwb3: dispatch 275: delivered=17 maxplen=60 won=0
dfwb3: dispatch 300: delivered=18 maxplen=60 won=0
dfwb3: dispatch 325: delivered=19 maxplen=60 won=0
dfwb3: dispatch 350: delivered=22 maxplen=60 won=0
dfwb3: dispatch 375: delivered=24 maxplen=60 won=0
dfwb3: dispatch 400: delivered=25 maxplen=60 won=0
dfwb3: dispatch 425: delivered=28 maxplen=60 won=0
dfwb3: dispatch 450: delivered=29 maxplen=60 won=0
dfwb3: dispatch 475: delivered=30 maxplen=60 won=0
dfwb3: dispatch 500: delivered=32 maxplen=60 won=0
dfwb3: dispatch 525: delivered=34 maxplen=60 won=0
dfwb3: dispatch 550: delivered=35 maxplen=60 won=0
dfwb3: dispatch 575: delivered=37 maxplen=60 won=0
dfwb3: dispatch 600: delivered=38 maxplen=60 won=0
dfwb3: dispatch 625: delivered=40 maxplen=60 won=0
dfwb3: dispatch 650: delivered=40 maxplen=60 won=0
dfwb3: dispatch 675: delivered=43 maxplen=60 won=0
dfwb3: dispatch 700: delivered=44 maxplen=60 won=0
dfwb3: dispatch 725: delivered=45 maxplen=60 won=0
dfwb3: dispatch 750: delivered=46 maxplen=60 won=0
dfwb3: dispatch 775: delivered=47 maxplen=60 won=0
dfwb3: dispatch 800: delivered=47 maxplen=60 won=0
dfwb3: dispatch 825: delivered=48 maxplen=60 won=0