diff options
author | Bhasker Hariharan <bhaskerh@google.com> | 2020-03-19 09:59:21 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-03-19 10:00:31 -0700 |
commit | 3a37f6791745a26d38b69fbe9d4090f8fd0c7827 (patch) | |
tree | 5e66715e77a83b4df14faa01ce01588a820e9254 /pkg/sentry/kernel/BUILD | |
parent | fd27a917ef068a4e17cddbe3f671b59f52e6e030 (diff) |
Change SocketOperations.readMu to an RWMutex.
Also get rid of the readViewHasData as it's not required anymore.
Updates #231, #357
PiperOrigin-RevId: 301837227
Diffstat (limited to 'pkg/sentry/kernel/BUILD')
0 files changed, 0 insertions, 0 deletions