diff options
| author | Adin Scannell <ascannell@google.com> | 2020-06-05 17:24:12 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-06-05 17:25:28 -0700 |
| commit | 527d08f6afdea1e142c76b8abb2266525a98c2ea (patch) | |
| tree | 9bdd320cc5479192a46f0ad44ab00ec83a8b00b1 /tools/BUILD | |
| parent | 8d8dce418f7e4053f80b035ff257743b431859d9 (diff) | |
Add +checkescape annotations to kvm/ring0.
This analysis also catches a potential bug, which is a split on mapPhysical.
This would have led to potential guest-exit during Mapping (although this
would have been handled by the now-unecessary retryInGuest loop).
PiperOrigin-RevId: 315025106
Diffstat (limited to 'tools/BUILD')
0 files changed, 0 insertions, 0 deletions