diff options
| author | Greg Hackmann <ghackmann@google.com> | 2016-11-18 11:09:02 -0800 |
|---|---|---|
| committer | Greg Hackmann <ghackmann@google.com> | 2016-11-18 19:28:54 +0000 |
| commit | 37e461fc4453488c394ccdbdcb8e286c122b047a (patch) | |
| tree | 031b2e7ca7146c79825625c48d90866680459679 /arch/arm/mm/fault.c | |
| parent | 5f93f3cb3ab26abd6791bc1f01e6a9db73e65536 (diff) | |
ANDROID: goldfish: goldfish_pipe: fix locking errors
If the get_user_pages_fast() call in goldfish_pipe_read_write() failed,
it would return while still holding pipe->lock.
goldfish_pipe_read_write() later releases and tries to re-acquire
pipe->lock. If the re-acquire call failed, goldfish_pipe_read_write()
would try unlock pipe->lock on exit anyway.
This fixes the smatch messages:
drivers/platform/goldfish/goldfish_pipe.c:392 goldfish_pipe_read_write() error: double unlock 'mutex:&pipe->lock'
drivers/platform/goldfish/goldfish_pipe.c:397 goldfish_pipe_read_write() warn: inconsistent returns 'mutex:&pipe->lock'.
Change-Id: Ifd06a76b32027ca451a001704ade0c5440ed69c4
Signed-off-by: Greg Hackmann <ghackmann@google.com>
Diffstat (limited to 'arch/arm/mm/fault.c')
0 files changed, 0 insertions, 0 deletions
