On Thu, Apr 05, 2018 at 10:35:22AM -0400, Alan Stern wrote: > In this example, READ_ONCE() is in fact a volatile access, so we're > okay.
But our documentation clearly states a control-dep can only be from a READ_ONCE() (or something stronger), right? So we should be good irrespectively.
