| commit | a81c77d01e58c555ec6c153a694303b45a531096 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 2 Nov 2020 09:32:47 +0000 (2 12:32 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 2 Nov 2020 09:32:47 +0000 (2 12:32 +0300) | ||
| tree | 63ce3e67ed40c53e350f01143c5d2df9ed2869a9 | treesnapshot (tar.gz zip) |
| parent | 79d9814f169eb83754ec26ff6f11f089b209ad57 | commitdiff |
kernel: ignore more mutex internals
Smatch doesn't really use these mutex internals so we can just ignore them.
This makes the DB slightly smaller and speeds up runtime.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Smatch doesn't really use these mutex internals so we can just ignore them.
This makes the DB slightly smaller and speeds up runtime.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_kernel.c | diffblobblamehistory |