diff options
| author | Andrey Konovalov <andreyknvl@google.com> | 2019-02-01 01:08:17 +0100 |
|---|---|---|
| committer | Andrey Konovalov <andreyknvl@gmail.com> | 2019-02-01 14:40:17 +0100 |
| commit | 9f528bbcc8a3d94c9be27a0eecc12022d4b3bfaa (patch) | |
| tree | 59bcdb899b42ba9d793d5bbac6cf58a4a9132143 /sys/linux/sr.txt | |
| parent | aa53be276dc84aa8b3825b3416542447ff82b41a (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/sr.txt')
| -rw-r--r-- | sys/linux/sr.txt | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/sys/linux/sr.txt b/sys/linux/sr.txt deleted file mode 100644 index 6dfc5e428..000000000 --- a/sys/linux/sr.txt +++ /dev/null @@ -1,8 +0,0 @@ -# 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 |