diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-02 21:48:24 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-10-12 18:16:25 +0200 |
| commit | 81e199f71969b97c80cbb4473ddd53adeed3b4d4 (patch) | |
| tree | 5b0e4603642a0ff07ffd675aa64a1472092f6f80 /sys/freebsd/sys.txt | |
| parent | 02a7a5401946658aa06fd618cf36e6848b0078fd (diff) | |
sys/syz-extract: support freebsd
Diffstat (limited to 'sys/freebsd/sys.txt')
| -rw-r--r-- | sys/freebsd/sys.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/sys/freebsd/sys.txt b/sys/freebsd/sys.txt index 6bb524299..5910d26c0 100644 --- a/sys/freebsd/sys.txt +++ b/sys/freebsd/sys.txt @@ -3,7 +3,15 @@ include <sys/mman.h> +resource fd[int32]: 0xffffffffffffffff + mmap(addr vma, len len[addr], prot flags[mmap_prot], flags flags[mmap_flags], fd const[0xffffffffffffffff], offset const[0]) vma +pipe(pipefd ptr[out, pipefd]) mmap_prot = PROT_READ, PROT_WRITE mmap_flags = MAP_PRIVATE, MAP_ANONYMOUS, MAP_FIXED + +pipefd { + rfd fd + wfd fd +} |