diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-10-28 20:35:35 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-10-28 20:35:35 +0100 |
| commit | 9ca2afa12c5c4d2ebc564a0b2d555571d7a1c719 (patch) | |
| tree | fc48ac73e2ab35c3adabd615307e721abf88c90e /sys/linux/floppy.txt | |
| parent | f00934a9ac8ac1593d905daffda9acbfa89dcb11 (diff) | |
sys/linux: open /dev/media* files
Also remove the second syscall for opening of /dev/fd*.
Diffstat (limited to 'sys/linux/floppy.txt')
| -rw-r--r-- | sys/linux/floppy.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/floppy.txt b/sys/linux/floppy.txt index 1f5b08417..2af0fb386 100644 --- a/sys/linux/floppy.txt +++ b/sys/linux/floppy.txt @@ -9,7 +9,7 @@ include <uapi/linux/fd.h> resource fd_floppy[fd] -syz_open_dev$FLOPPY(dev ptr[in, string["/dev/fd#"]], id intptr, flags flags[open_flags]) fd_floppy +syz_open_dev$floppy(dev ptr[in, string["/dev/fd#"]], id intptr, flags flags[open_flags]) fd_floppy ioctl$FLOPPY_FDEJECT(fd fd_floppy, cmd const[FDEJECT]) ioctl$FLOPPY_FDCLRPRM(fd fd_floppy, cmd const[FDCLRPRM]) |