aboutsummaryrefslogtreecommitdiffstats
path: root/sys/linux
diff options
context:
space:
mode:
Diffstat (limited to 'sys/linux')
-rw-r--r--sys/linux/dev_qrtr_tun.txt13
-rw-r--r--sys/linux/dev_qrtr_tun_386.const7
-rw-r--r--sys/linux/dev_qrtr_tun_amd64.const7
-rw-r--r--sys/linux/dev_qrtr_tun_arm.const7
-rw-r--r--sys/linux/dev_qrtr_tun_arm64.const7
-rw-r--r--sys/linux/dev_qrtr_tun_mips64le.const7
-rw-r--r--sys/linux/dev_qrtr_tun_ppc64le.const7
7 files changed, 55 insertions, 0 deletions
diff --git a/sys/linux/dev_qrtr_tun.txt b/sys/linux/dev_qrtr_tun.txt
new file mode 100644
index 000000000..159af1a1b
--- /dev/null
+++ b/sys/linux/dev_qrtr_tun.txt
@@ -0,0 +1,13 @@
+# Copyright 2020 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 <linux/fcntl.h>
+
+resource fd_qrtr_tun[fd]
+
+openat$qrtrtun(fd const[AT_FDCWD], file ptr[in, string["/dev/qrtr-tun"]], flags flags[open_flags]) fd_qrtr_tun
+
+write$qrtrtun(fd fd_qrtr_tun, data ptr[in, array[int8]], len bytesize[data])
+read$qrtrtun(fd fd_qrtr_tun, data ptr[out, array[int8]], len bytesize[data])
+mmap$qrtrtun(addr vma, len len[addr], prot flags[mmap_prot], flags flags[mmap_flags], fd fd_qrtr_tun, offset fileoff)
+_ = __NR_mmap2
diff --git a/sys/linux/dev_qrtr_tun_386.const b/sys/linux/dev_qrtr_tun_386.const
new file mode 100644
index 000000000..25fb28e29
--- /dev/null
+++ b/sys/linux/dev_qrtr_tun_386.const
@@ -0,0 +1,7 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+__NR_mmap = 192
+__NR_mmap2 = 192
+__NR_openat = 295
+__NR_read = 3
+__NR_write = 4
diff --git a/sys/linux/dev_qrtr_tun_amd64.const b/sys/linux/dev_qrtr_tun_amd64.const
new file mode 100644
index 000000000..e8b413916
--- /dev/null
+++ b/sys/linux/dev_qrtr_tun_amd64.const
@@ -0,0 +1,7 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+__NR_mmap = 9
+# __NR_mmap2 is not set
+__NR_openat = 257
+__NR_read = 0
+__NR_write = 1
diff --git a/sys/linux/dev_qrtr_tun_arm.const b/sys/linux/dev_qrtr_tun_arm.const
new file mode 100644
index 000000000..a93042f94
--- /dev/null
+++ b/sys/linux/dev_qrtr_tun_arm.const
@@ -0,0 +1,7 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+__NR_mmap = 192
+__NR_mmap2 = 192
+__NR_openat = 322
+__NR_read = 3
+__NR_write = 4
diff --git a/sys/linux/dev_qrtr_tun_arm64.const b/sys/linux/dev_qrtr_tun_arm64.const
new file mode 100644
index 000000000..c1a24b253
--- /dev/null
+++ b/sys/linux/dev_qrtr_tun_arm64.const
@@ -0,0 +1,7 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+__NR_mmap = 222
+# __NR_mmap2 is not set
+__NR_openat = 56
+__NR_read = 63
+__NR_write = 64
diff --git a/sys/linux/dev_qrtr_tun_mips64le.const b/sys/linux/dev_qrtr_tun_mips64le.const
new file mode 100644
index 000000000..6f86ef8b1
--- /dev/null
+++ b/sys/linux/dev_qrtr_tun_mips64le.const
@@ -0,0 +1,7 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+__NR_mmap = 5009
+# __NR_mmap2 is not set
+__NR_openat = 5247
+__NR_read = 5000
+__NR_write = 5001
diff --git a/sys/linux/dev_qrtr_tun_ppc64le.const b/sys/linux/dev_qrtr_tun_ppc64le.const
new file mode 100644
index 000000000..4563540b7
--- /dev/null
+++ b/sys/linux/dev_qrtr_tun_ppc64le.const
@@ -0,0 +1,7 @@
+# AUTOGENERATED FILE
+AT_FDCWD = 18446744073709551516
+__NR_mmap = 90
+# __NR_mmap2 is not set
+__NR_openat = 286
+__NR_read = 3
+__NR_write = 4