diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-11-10 09:29:58 -0800 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-11-10 10:38:38 -0800 |
| commit | 34c048c0d8295ebf9bcb27abf96d11a62526b4f2 (patch) | |
| tree | 8e216967a42bd32edf091272ba90bc5c8cce8624 /sys/linux/sys.txt | |
| parent | 4d2f7ff6a5e59e6dc25f7dfa93c83fc651f0bf08 (diff) | |
sys/linux: add /dev/dlm* devices
Diffstat (limited to 'sys/linux/sys.txt')
| -rw-r--r-- | sys/linux/sys.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/linux/sys.txt b/sys/linux/sys.txt index 0e98b7317..89ceefc20 100644 --- a/sys/linux/sys.txt +++ b/sys/linux/sys.txt @@ -507,6 +507,9 @@ openat$sequencer2(fd const[AT_FDCWD], file ptr[in, string["/dev/sequencer2"]], f openat$dsp(fd const[AT_FDCWD], file ptr[in, string["/dev/dsp"]], flags flags[open_flags], mode const[0]) fd openat$audio(fd const[AT_FDCWD], file ptr[in, string["/dev/audio"]], flags flags[open_flags], mode const[0]) fd openat$xenevtchn(fd const[AT_FDCWD], file ptr[in, string["/dev/xen/evtchn"]], flags flags[open_flags], mode const[0]) fd +openat$dlm_control(fd const[AT_FDCWD], file ptr[in, string["/dev/dlm-control"]], flags flags[open_flags], mode const[0]) fd +openat$dlm_monitor(fd const[AT_FDCWD], file ptr[in, string["/dev/dlm-monitor"]], flags flags[open_flags], mode const[0]) fd +openat$dlm_plock(fd const[AT_FDCWD], file ptr[in, string["/dev/dlm_plock"]], flags flags[open_flags], mode const[0]) fd pipefd { rfd fd |