tree 6ab603e4bed47b3d4093a2029bd0fcd938d42fcd
parent d973c8de0bab592b05ff4184d5cfaf18feef77bb
author Adrian Danis <adanis@google.com> 1618353774 +0000
committer CQ Bot <commit-bot@chromium.org> 1618353774 +0000

[kernel][vm] Cleanup lock annotations

Adds some missing lock annotations and cleans up some redundant
asserts.

Change-Id: I7b115d8e497f29c6829eb3a1d5b3694a10dcda39
Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/514683
Reviewed-by: Rasha Eqbal <rashaeqbal@google.com>
Commit-Queue: Adrian Danis <adanis@google.com>