diff options
| author | Linus Torvalds <torvalds@linux-foundation.org> | 2012-11-13 02:02:21 +0100 |
|---|---|---|
| committer | Linus Torvalds <torvalds@linux-foundation.org> | 2012-11-13 02:02:21 +0100 |
| commit | b0db954c0491ce846bc49c0746ca6e1f868a1881 (patch) | |
| tree | 1d239bdf2f0fe62f278faf895f662f2f5b43c3e6 /drivers/pcmcia/Makefile | |
| parent | Linux 3.7-rc5 (diff) | |
| parent | futex: Handle futex_pi OWNER_DIED take over correctly (diff) | |
| download | linux-b0db954c0491ce846bc49c0746ca6e1f868a1881.tar.xz linux-b0db954c0491ce846bc49c0746ca6e1f868a1881.zip | |
Merge branch 'core-urgent-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip
Pull futex fix from Thomas Gleixner:
"Single fix for a long standing futex race when taking over a futex
whose owner died. You can end up with two owners, which violates
quite some rules."
* 'core-urgent-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip:
futex: Handle futex_pi OWNER_DIED take over correctly
Diffstat (limited to 'drivers/pcmcia/Makefile')
0 files changed, 0 insertions, 0 deletions