Re: [CHECKER] a couple potential deadlocks in 2.4.5-ac8

[Dawson Engler]

> > Sure, it's a pretty interaction.  To be sure about the rule: any *_user
> > call can be treated as an implicit invocation of do_page_fault?  
> 
> As a first approximation, yes. The exception cases are certain callers
> that use kernel addresses and set_fs(KERNEL_DS) in order to "fake"
> arguments to system calls etc, but I doubt they should need any
> special-casing.

I already have to special case the set_fs calls for the user-pointer
security checker.  It shouldn't be too much trouble to reuse the code.
Thanks for the early warning.

Dawson