diff options
| author | Thomas Gleixner <[email protected]> | 2014-06-07 09:36:13 +0200 |
|---|---|---|
| committer | Thomas Gleixner <[email protected]> | 2014-06-21 22:05:30 +0200 |
| commit | 1ca7b86062ec8473d03c5cdfd336abc8b1c8098c (patch) | |
| tree | 4d4fb16eebac3bac63a317a406e60f78469c3828 /kernel/locking/rtmutex-debug.h | |
| parent | 3eb65aeadf701976b084e9171e16bb7d1e83fbb0 (diff) | |
rtmutex: Simplify remove_waiter()
Exit right away, when the removed waiter was not the top priority
waiter on the lock. Get rid of the extra indent level.
Signed-off-by: Thomas Gleixner <[email protected]>
Reviewed-by: Steven Rostedt <[email protected]>
Reviewed-by: Lai Jiangshan <[email protected]>
Diffstat (limited to 'kernel/locking/rtmutex-debug.h')
0 files changed, 0 insertions, 0 deletions