SATA drives won't detect with WITNESS

Hi,

My last kernels, build on May 1 (from the fresh CURRENT sources), expose some
strange behaviour, namely, kernel with options added:
options        INVARIANTS
options        INVARIANT_SUPPORT
options        WITNESS
options        WITNESS_SKIPSPIN

Will not detect properly the SATA drive. Anyone also sees this bug? Any clues,
what may cause the problem?

The difference in verbose dmesg, concerning the failing drive is:
With working kernel:
ata3: reset tp1 mask=01 ostat0=7f ostat1=00

With non-working kernel:
ata3: reset tp1 mask=00 ostat0=ff ostat1=00

The mask is different.


Full verbose dmesg from working kernel is available at:
http://www.evip.pl/~w/dmesg-ok-sata.txt

Full verbose dmesg from non-working kernel is available at:
http://www.evip.pl/~w/dmesg-fail-sata.txt



Cheers,

Wiktor Niesiobedzki