diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-30 19:25:20 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-30 19:45:25 +0100 |
| commit | 18e33098d58c8738cc3b678346141b74d34d4e30 (patch) | |
| tree | 5a7a32f1119f7917ed2791e2f6f13821ff3c3b39 /sys/linux | |
| parent | ea2666e0c00c430b3be2ba0ebdbb189a14e5d0b4 (diff) | |
executor: fix linux includes
write_file() is needed for setup_sysctl() and syz_usbip_server_init().
setup_sysctl() also misses some header includes.
Diffstat (limited to 'sys/linux')
0 files changed, 0 insertions, 0 deletions