diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-11-17 15:44:57 -0800 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-11-17 15:46:37 -0800 |
| commit | 15d00718f7a556006e23a8951c9f22598ff91724 (patch) | |
| tree | 06dfd8870aa0af6f20478d46584d3e0789ef657c /executor/executor_linux.h | |
| parent | d8004ff2dc60902bdee1eea0ccc4ffaa04dc1e45 (diff) | |
sys/linux: refine description for PR_SET_MM
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions