> So, could we use a lock instructions to fence WC writes out? Yes, the right thing seems to be to use the same thing for wc_wmb() as for mb() on i386, namely "lock; addl $0,0(%%esp)". That is definitely a serializing instruction that will flush WC buffers. - R.