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 /pkg/sentry/platform/kvm/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 'pkg/sentry/platform/kvm/BUILD')
| -rw-r--r-- | pkg/sentry/platform/kvm/BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkg/sentry/platform/kvm/BUILD b/pkg/sentry/platform/kvm/BUILD index 159f7eafd..4792454c4 100644 --- a/pkg/sentry/platform/kvm/BUILD +++ b/pkg/sentry/platform/kvm/BUILD @@ -6,8 +6,8 @@ go_library( name = "kvm", srcs = [ "address_space.go", - "allocator.go", "bluepill.go", + "bluepill_allocator.go", "bluepill_amd64.go", "bluepill_amd64.s", "bluepill_amd64_unsafe.go", |