aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNecip Fazil Yildiran <necip@google.com>2020-06-23 08:53:33 +0300
committerDmitry Vyukov <dvyukov@google.com>2020-06-23 10:34:37 +0200
commit54566aff1679fc74487d3efb9f7bbfbc21beed4b (patch)
tree582de89e9fa89aa8c2030becf7ef060444441b74
parent39240c9e937ac9b29eb0c378d75d9fb405c58f27 (diff)
sys/linux: add descriptions for qrtr-tun
-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