diff options
| author | Adin Scannell <ascannell@google.com> | 2020-10-13 10:41:54 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-10-13 10:43:45 -0700 |
| commit | d9b32efb306444440daa89a79e4d85516ff8f340 (patch) | |
| tree | 365e64ceaf7389ba419205735553b02d03011df8 /pkg/sentry/devices/tundev/BUILD | |
| parent | 60f159b5580da98ab8261f4e694692c9412a2fae (diff) | |
Avoid excessive Tgkill and wait operations.
The required states may simply not be observed by the thread running bounce, so
track guest and user generations to ensure that at least one of the desired
state transitions happens.
Fixes #3532
PiperOrigin-RevId: 336908216
Diffstat (limited to 'pkg/sentry/devices/tundev/BUILD')
0 files changed, 0 insertions, 0 deletions