On Thu, 2012-03-08 at 21:44 +0000, Al Viro wrote: > I suspect that they right thing would be to have a way to set explicit > nesting rules, not tied to speficic call trace.
See might_lock() / might_lock_read(), these are used to implement might_fault(), which is used to annotate paths that could -- but rarely do -- fault.