From 9ca2afa12c5c4d2ebc564a0b2d555571d7a1c719 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Sun, 28 Oct 2018 20:35:35 +0100 Subject: sys/linux: open /dev/media* files Also remove the second syscall for opening of /dev/fd*. --- sys/linux/floppy.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sys/linux/floppy.txt') 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 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]) -- cgit mrf-deployment