diff options
-rw-r--r-- | kernel/futex.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/kernel/futex.c b/kernel/futex.c index 0edd314798c0..0006d64c448e 100644 --- a/kernel/futex.c +++ b/kernel/futex.c | |||
@@ -1537,9 +1537,6 @@ static int futex_lock_pi(u32 __user *uaddr, struct rw_semaphore *fshared, | |||
1537 | owner = rt_mutex_owner(&q.pi_state->pi_mutex); | 1537 | owner = rt_mutex_owner(&q.pi_state->pi_mutex); |
1538 | res = fixup_pi_state_owner(uaddr, &q, owner); | 1538 | res = fixup_pi_state_owner(uaddr, &q, owner); |
1539 | 1539 | ||
1540 | WARN_ON(rt_mutex_owner(&q.pi_state->pi_mutex) != | ||
1541 | owner); | ||
1542 | |||
1543 | /* propagate -EFAULT, if the fixup failed */ | 1540 | /* propagate -EFAULT, if the fixup failed */ |
1544 | if (res) | 1541 | if (res) |
1545 | ret = res; | 1542 | ret = res; |