From 46cc3b2193a3be0e0043d9cb98af1121aeebf09d Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Wed, 16 Mar 2022 11:18:40 +0100 Subject: sys/linux: update watch queue descriptions The interface has significantly changed since the first version. Update to the upstreammed interface. Fixes #3030 --- sys/linux/dev_watch_queue.txt | 31 ------------------------------- 1 file changed, 31 deletions(-) delete mode 100644 sys/linux/dev_watch_queue.txt (limited to 'sys/linux/dev_watch_queue.txt') diff --git a/sys/linux/dev_watch_queue.txt b/sys/linux/dev_watch_queue.txt deleted file mode 100644 index c414f184b..000000000 --- a/sys/linux/dev_watch_queue.txt +++ /dev/null @@ -1,31 +0,0 @@ -# Copyright 2019 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 -include -include - -resource fd_watch_queue[fd] - -openat$watch_queue(fd const[AT_FDCWD], file ptr[in, string["/dev/watch_queue"]], flags flags[open_flags], mode const[0]) fd_watch_queue -mmap$watch_queue(addr vma, len len[addr], prot flags[mmap_prot], flags flags[mmap_flags], fd fd_watch_queue, offset const[0]) -ioctl$IOC_WATCH_QUEUE_SET_SIZE(fd fd_watch_queue, cmd const[IOC_WATCH_QUEUE_SET_SIZE], arg flags[watch_queue_size]) -ioctl$IOC_WATCH_QUEUE_SET_FILTER(fd fd_watch_queue, cmd const[IOC_WATCH_QUEUE_SET_FILTER], arg ptr[in, watch_notification_filter]) - -watch_devices(watch_fd fd_watch_queue, watch_id intptr[-1:0xff], flags const[0]) - -watch_notification_filter { - nr_filters len[filters, int32] - __reserved const[0, int32] - filters array[watch_notification_type_filter] -} - -watch_notification_type_filter { - type int32 - info_filter int32 - info_mask int32 - subtype_filter array[int32, 8] -} - -watch_queue_size = 1, 2, 4, 8, 16 -_ = __NR_mmap2 -- cgit mrf-deployment