On Wed, Sep 25, 2013 at 02:47:20PM -0700, Josh Triplett wrote: > That's expressible in Sparse; look at how spin_trylock and _cond_lock, > and write a _cond_unlock. Yeah, I know about __cond_lock() its an abomination that should die. I did take a stab at teach sparse something saner but got stuck.. was years ago, can't remember more. -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
