On Fri, 15 Feb 2002, Kevin D. Kissell wrote: > 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. -- + Maciej W. Rozycki, Technical University of Gdansk, Poland + +--------------------------------------------------------------+ + e-mail: macro@ds2.pg.gda.pl, PGP key available +