diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-07-08 14:52:59 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-07-08 15:14:01 +0200 |
| commit | 0219d4e7da1ac272cd25728d4ab2ef48fc953a07 (patch) | |
| tree | 54b3289bf1c0ffa80fe7e0ec4a85bde5aa49e6f5 /executor | |
| parent | f1996f0507ec0d0ac5a8032e55e50bc00b6d1ea2 (diff) | |
docs: explain pseudo-syscall argument type
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions