diff options
| author | Jamie Liu <jamieliu@google.com> | 2020-10-06 13:53:26 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-10-06 13:55:16 -0700 |
| commit | 1336af78d5dc2a6bc54d22ed45f4dd4793c2f964 (patch) | |
| tree | 17caf73cd5ff66b1ef78f886e6efeaa71e6aca20 /pkg/sentry/platform/BUILD | |
| parent | 3dc3fb2375e9b2296611734980e8ae38334622de (diff) | |
Implement membarrier(2) commands other than *_SYNC_CORE.
Updates #267
PiperOrigin-RevId: 335713923
Diffstat (limited to 'pkg/sentry/platform/BUILD')
| -rw-r--r-- | pkg/sentry/platform/BUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkg/sentry/platform/BUILD b/pkg/sentry/platform/BUILD index 209b28053..db7d55ef2 100644 --- a/pkg/sentry/platform/BUILD +++ b/pkg/sentry/platform/BUILD @@ -15,6 +15,7 @@ go_library( "//pkg/context", "//pkg/seccomp", "//pkg/sentry/arch", + "//pkg/sentry/hostmm", "//pkg/sentry/memmap", "//pkg/usermem", ], |