Hi,

>  > Hmm, it seems that a number of ports do not do this currently.
> 
> On every platform that requires barriers, barriers are (or should be!)
> implicitly done because otherwise devices would not work.

Hmm, are you saying that we should fool around with the bus_space_*
implementations in the ports to work around bugs in the drivers?
That way we'd probably never get the drivers fixed...

Ciao,
Wolfgang
-- 
ws@TooLs.DE     Wolfgang Solfrank, TooLs GmbH 	+49-228-985800