summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorgVisor bot <gvisor-bot@google.com>2021-05-21 04:09:18 +0000
committergVisor bot <gvisor-bot@google.com>2021-05-21 04:09:18 +0000
commit17b00cd25323c693c0b14d06785583e3dcf3d93f (patch)
treeb5ff668ef2e8c230887cd6c06ed2f5fb7c7be41e
parent0ae3bb7380eb2aa72a81a4cd477029b9c76ef854 (diff)
parent5bbc22797147bb83f9698b337522059099153fd7 (diff)
Merge release-20210510.0-69-g5bbc22797 (automated)
-rw-r--r--pkg/sentry/kernel/semaphore/semaphore.go4
1 files changed, 3 insertions, 1 deletions
diff --git a/pkg/sentry/kernel/semaphore/semaphore.go b/pkg/sentry/kernel/semaphore/semaphore.go
index fe2ab1662..3c5bd8ff7 100644
--- a/pkg/sentry/kernel/semaphore/semaphore.go
+++ b/pkg/sentry/kernel/semaphore/semaphore.go
@@ -702,7 +702,9 @@ func (s *Set) checkPerms(creds *auth.Credentials, reqPerms fs.PermMask) bool {
return s.checkCapability(creds)
}
-// destroy destroys the set. Caller must hold 's.mu'.
+// destroy destroys the set.
+//
+// Preconditions: Caller must hold 's.mu'.
func (s *Set) destroy() {
// Notify all waiters. They will fail on the next attempt to execute
// operations and return error.