On Fri, 15 Feb 2002, Kevin D. Kissell wrote:
quoted
So I think that the Linux code was perfectly correct in considering
the TX39 to be without SYNC, just as a Vr4101 must be
consdered to be without LL/SC. They decode the instructions,
but they don't actually implement them as specified.
The code is not correct if "bc0f" is needed to be sure a write-back
happened. If that is the case, the processors need their own wbflush()
implementation like R2k/R3k configurations in older DECstations.
Note that I did not say that "the code is correct", only that it
is correct *in considering the TX39 to be effectively SYNC-less*.
I'm sure that the code is anyway broken six ways from Wednesday,
as usual. ;-)
Kevin K.