From 5910646c6c6fbb5e48801342677bff9c4609a2ea Mon Sep 17 00:00:00 2001
From: Nazime Hande Harputluoglu <handeharputlu@google.com>
Date: Thu, 1 Oct 2020 21:53:57 +0000
Subject: sys/linux: descriptions for USB/IP

---
 sys/linux/usbip.txt       | 55 +++++++++++++++++++++++++++++++++++++++++++++++
 sys/linux/usbip.txt.const | 14 ++++++++++++
 2 files changed, 69 insertions(+)
 create mode 100644 sys/linux/usbip.txt
 create mode 100644 sys/linux/usbip.txt.const

(limited to 'sys/linux')

diff --git a/sys/linux/usbip.txt b/sys/linux/usbip.txt
new file mode 100644
index 000000000..d93d8bc90
--- /dev/null
+++ b/sys/linux/usbip.txt
@@ -0,0 +1,55 @@
+# 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 <drivers/usb/usbip/usbip_common.h>
+
+resource fd_usbip_server[fd]
+
+syz_usbip_server_init(speed flags[usbip_device_speed]) fd_usbip_server
+write$usbip_server(fd fd_usbip_server, buffer ptr[in, usbip_packet], len bytesize[buffer])
+
+type usbip_header_basic[PACKET_TYPE] {
+	command		const[PACKET_TYPE, int32be]
+	seqnum		int32be
+	devid		const[0, int32be]
+	direction	flags[direction_flags, int32be]
+	ep		int32be
+} [packed]
+
+usbip_header_ret_unlink {
+	status	int32be
+} [packed]
+
+usbip_iso_packet_descriptor {
+	offset		int32be
+	length		int32be
+	actual_length	int32be
+	status		int32be
+} [packed]
+
+usbip_packet_ret_submit {
+	base_submit		usbip_header_basic[USBIP_RET_SUBMIT]
+	status			int32be
+	actual_length		len[xbuff, int32be]
+	start_frame		int32be
+	number_of_packets	len[iso, int32be]
+	error_count		int32be
+	padding			const[0, int64be]
+	xbuff			array[int8]
+	iso			array[usbip_iso_packet_descriptor, 0:USBIP_MAX_ISO_PACKETS]
+} [packed]
+
+define USBIP_HEADER_SIZE	sizeof(struct usbip_header)
+
+usbip_packet_ret_unlink {
+	base_unlink	usbip_header_basic[USBIP_RET_UNLINK]
+	ret_unlink	usbip_header_ret_unlink
+} [packed, size[USBIP_HEADER_SIZE]]
+
+usbip_packet [
+	ret_submit	usbip_packet_ret_submit
+	ret_unlink	usbip_packet_ret_unlink
+] [varlen]
+
+direction_flags = USBIP_DIR_OUT, USBIP_DIR_IN
+usbip_device_speed = USB_SPEED_LOW, USB_SPEED_FULL, USB_SPEED_HIGH, USB_SPEED_WIRELESS, USB_SPEED_SUPER
diff --git a/sys/linux/usbip.txt.const b/sys/linux/usbip.txt.const
new file mode 100644
index 000000000..6da05ab26
--- /dev/null
+++ b/sys/linux/usbip.txt.const
@@ -0,0 +1,14 @@
+# Code generated by syz-sysgen. DO NOT EDIT.
+arches = 386, amd64, arm, arm64, mips64le, ppc64le, riscv64, s390x
+USBIP_DIR_IN = 1
+USBIP_DIR_OUT = 0
+USBIP_HEADER_SIZE = 48
+USBIP_MAX_ISO_PACKETS = 1024
+USBIP_RET_SUBMIT = 3
+USBIP_RET_UNLINK = 4
+USB_SPEED_FULL = 2
+USB_SPEED_HIGH = 3
+USB_SPEED_LOW = 1
+USB_SPEED_SUPER = 5
+USB_SPEED_WIRELESS = 4
+__NR_write = 4, amd64:1, arm64:riscv64:64, mips64le:5001
-- 
cgit mrf-deployment