DF2534-S: === DF-2534: xa_strategy with si_drv1 == NULL (xdisk.c:801,805) ===
DF2534-S: calling real xa_strategy: xdisk.c:801 loads sc=NULL, :805 devstat_start_transaction(&sc->stats) derefs ~NULL+offset -> kernel page fault
DF2534-S: harness bio_done fired (bio completed with b_error=6 b_flags=0x800)
DF2534-S: xa_strategy returned 0 without faulting (fixed?) bio_done=6
DF2534-S: done
DF2534-RACE: === DF-2534: real xa_size (cpu0) vs real xa_terminate_check (cpu1) for 12 s ===
DF2534-RACE: reader xa_size iterations: 82313216 (ENXIO/NULL path: 82313216)
DF2534-RACE: terminator terminate_check iterations: 30146560 (same-address reuse: 30146560, other: 0)
DF2534-RACE: UAF READS CAPTURED (stale deref saw 0xC0FFEE00DF2534 written AFTER the free): 0
DF2534-RACE: no stale read observed this run (see VERDICT.md)
DF2534-RACE: done