diff options
| author | Ghanan Gowripalan <ghanan@google.com> | 2021-09-15 16:09:13 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-09-15 16:11:43 -0700 |
| commit | a8ad692fd36cbaf7f5a6b9af39d601053dbee338 (patch) | |
| tree | 8eb26659ef7f1c280c924170a26a1d6c3ad733bd /LICENSE | |
| parent | 4e99f17178ed39b55adfda3966d51a9860995211 (diff) | |
Annotate checklocks on mutex protected fields
...to catch lock-related bugs in nogo tests.
This change also disables/enables packet reception before/after
save/restore with a flag that is protected by rcvMu instead of mu.
Updates #6566.
PiperOrigin-RevId: 396946187
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions