=== FIXED kernel: racing PRODUCTION wb_rxeof vs GOOD(64)/HUGE(16383) 4:1 ===
kern.dfwb3.go4268: 0 -> 0
GO_RC=0
=== FIXED kernel wb_rxeof fetch pattern ===
ffffffff808daee8:	49 8b 06             	mov    (%r14),%rax
ffffffff808daeeb:	8b 00                	mov    (%rax),%eax
ffffffff808daf11:	c1 ee 10             	shr    $0x10,%esi
ffffffff808daf16:	81 e2 ff 3f 00 00    	and    $0x3fff,%edx
ffffffff808daf71:	81 e6 ff 3f 00 00    	and    $0x3fff,%esi
ffffffff808daf83:	e8 f8 39 de ff       	callq  ffffffff806be980 <m_devget>
ffffffff808daff8:	49 8b 06             	mov    (%r14),%rax
ffffffff808daffb:	8b 00                	mov    (%rax),%eax
ffffffff808db01a:	c1 ee 10             	shr    $0x10,%esi
ffffffff808db01f:	81 e2 ff 3f 00 00    	and    $0x3fff,%edx
dfwb3: DF-4268 PRODUCTION race over after 250 dispatches (~17 s): delivered=188 maxplen=60 WON=0
dfwb3: go4268 SURVIVED M-bM^@M^T guest stays up