> On Feb 11, 2022, at 9:53 AM, Taylor R Campbell <riastradh%NetBSD.org@localhost> wrote: > > That is, this was presumably meant to ensure (A) happens-before (B). > This relation is already guaranteed by ipi(9), so there is no need > for any explicit memory barrier. Is this documented in ipi(9)? -- thorpej