diff options
| author | Zyad A. Ali <zyad.ali.me@gmail.com> | 2021-05-20 20:57:06 +0200 |
|---|---|---|
| committer | Zyad A. Ali <zyad.ali.me@gmail.com> | 2021-05-20 21:15:56 +0200 |
| commit | 06d6dc36025fcfa62fa5a921eccf5359e476f6fc (patch) | |
| tree | 998bc7bb90b34632ecdd1233da72459a1995896b /pkg/sentry/kernel/semaphore | |
| parent | b8b43f70c898861a6fd642ded069dd33d35f17f9 (diff) | |
Format precondition to match style guide.
Diffstat (limited to 'pkg/sentry/kernel/semaphore')
| -rw-r--r-- | pkg/sentry/kernel/semaphore/semaphore.go | 4 |
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. |