diff options
| author | Jamie Liu <jamieliu@google.com> | 2018-08-31 13:57:02 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-08-31 13:58:04 -0700 |
| commit | 098046ba193b839d69c059f7a0e68c89409b4237 (patch) | |
| tree | 22a6bfcdbb4d440ef067c8df4643ef26f7255be1 /pkg/sentry/fs/proc/device | |
| parent | b1c1afa3ccc499df3fd15814d2b6cf9005bc2ab1 (diff) | |
Disintegrate kernel.TaskResources.
This allows us to call kernel.FDMap.DecRef without holding mutexes
cleanly.
PiperOrigin-RevId: 211139657
Change-Id: Ie59d5210fb9282e1950e2e40323df7264a01bcec
Diffstat (limited to 'pkg/sentry/fs/proc/device')
0 files changed, 0 insertions, 0 deletions