[PATCH] ARM: Add PI/robust mutexes support for SMP kernels

[Russell King - ARM Linux]

On Mon, Jun 07, 2010 at 10:05:57PM +0100, Catalin Marinas wrote:
> But as I said, we already have patches to change the kernel R/W
> permission for RO user pages.

... but they introduce their own problem.