From: Richard Henderson <rth@tw...> - 2001-10-10 22:22:55
On Wed, Oct 10, 2001 at 02:47:05PM -0700, Paul McKenney wrote:
> Just to make sure I understand... This rmbdd() would use IPIs to
> get all the CPUs' caches synchronized, right?
No, it would expand to rmb on Alpha, and to nothing elsewhere.