aboutsummaryrefslogtreecommitdiffstats
path: root/sys/linux/dev_sr.txt
diff options
context:
space:
mode:
authorAndrey Konovalov <andreyknvl@google.com>2019-02-01 01:08:17 +0100
committerAndrey Konovalov <andreyknvl@gmail.com>2019-02-01 14:40:17 +0100
commit9f528bbcc8a3d94c9be27a0eecc12022d4b3bfaa (patch)
tree59bcdb899b42ba9d793d5bbac6cf58a4a9132143 /sys/linux/dev_sr.txt
parentaa53be276dc84aa8b3825b3416542447ff82b41a (diff)
sys/linux: rename dev descriptions files
Prefix file names of descriptions of /dev/* files with dev_. And give some of them more appropriate names.
Diffstat (limited to 'sys/linux/dev_sr.txt')
-rw-r--r--sys/linux/dev_sr.txt8
1 files changed, 8 insertions, 0 deletions
diff --git a/sys/linux/dev_sr.txt b/sys/linux/dev_sr.txt
new file mode 100644
index 000000000..6dfc5e428
--- /dev/null
+++ b/sys/linux/dev_sr.txt
@@ -0,0 +1,8 @@
+# Copyright 2018 syzkaller project authors. All rights reserved.
+# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
+
+include <uapi/linux/fcntl.h>
+
+resource fd_sr[fd_block]
+
+openat$sr(fd const[AT_FDCWD], file ptr[in, string["/dev/sr0"]], flags flags[open_flags], mode const[0]) fd_sr