From 1e72cce4ed046b636f08504995711ae719d427c2 Mon Sep 17 00:00:00 2001 From: Andrey Konovalov Date: Wed, 10 Jun 2020 23:55:57 +0200 Subject: sys/linux: rename devio.txt to dev_bus_usb.txt --- sys/linux/dev_bus_usb.txt | 217 +++++++++++++++++++++++++++++++++++ sys/linux/dev_bus_usb.txt.warn | 7 ++ sys/linux/dev_bus_usb_386.const | 59 ++++++++++ sys/linux/dev_bus_usb_amd64.const | 59 ++++++++++ sys/linux/dev_bus_usb_arm.const | 59 ++++++++++ sys/linux/dev_bus_usb_arm64.const | 59 ++++++++++ sys/linux/dev_bus_usb_mips64le.const | 59 ++++++++++ sys/linux/dev_bus_usb_ppc64le.const | 59 ++++++++++ sys/linux/devio.txt | 217 ----------------------------------- sys/linux/devio.txt.warn | 7 -- sys/linux/devio_386.const | 59 ---------- sys/linux/devio_amd64.const | 59 ---------- sys/linux/devio_arm.const | 59 ---------- sys/linux/devio_arm64.const | 59 ---------- sys/linux/devio_mips64le.const | 59 ---------- sys/linux/devio_ppc64le.const | 59 ---------- 16 files changed, 578 insertions(+), 578 deletions(-) create mode 100644 sys/linux/dev_bus_usb.txt create mode 100644 sys/linux/dev_bus_usb.txt.warn create mode 100644 sys/linux/dev_bus_usb_386.const create mode 100644 sys/linux/dev_bus_usb_amd64.const create mode 100644 sys/linux/dev_bus_usb_arm.const create mode 100644 sys/linux/dev_bus_usb_arm64.const create mode 100644 sys/linux/dev_bus_usb_mips64le.const create mode 100644 sys/linux/dev_bus_usb_ppc64le.const delete mode 100644 sys/linux/devio.txt delete mode 100644 sys/linux/devio.txt.warn delete mode 100644 sys/linux/devio_386.const delete mode 100644 sys/linux/devio_amd64.const delete mode 100644 sys/linux/devio_arm.const delete mode 100644 sys/linux/devio_arm64.const delete mode 100644 sys/linux/devio_mips64le.const delete mode 100644 sys/linux/devio_ppc64le.const (limited to 'sys/linux') diff --git a/sys/linux/dev_bus_usb.txt b/sys/linux/dev_bus_usb.txt new file mode 100644 index 000000000..c66ef5c06 --- /dev/null +++ b/sys/linux/dev_bus_usb.txt @@ -0,0 +1,217 @@ +# 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. + +# https://elixir.bootlin.com/linux/latest/source/drivers/usb/core/devio.c + +include +include +include +include +include + +define MAXDRIVERNAME USBDEVFS_MAXDRIVERNAME + 1 + +resource fd_usbfs[fd] + +syz_open_dev$usbfs(dev ptr[in, string["/dev/bus/usb/00#/00#"]], id intptr, flags flags[open_flags]) fd_usbfs + +read$usbfs(fd fd_usbfs, buf buffer[out], count len[buf]) + +mmap$usbfs(addr vma, len len[addr], prot flags[mmap_prot], flags flags[mmap_flags], fd fd_usbfs, offset fileoff) +_ = __NR_mmap2 + +# TODO: arg is a pointer to a previously submitted URB. +ioctl$USBDEVFS_REAPURB(fd fd_usbfs, cmd const[USBDEVFS_REAPURB], arg ptr[out, int64]) +ioctl$USBDEVFS_REAPURBNDELAY(fd fd_usbfs, cmd const[USBDEVFS_REAPURBNDELAY], arg ptr[out, int64]) + +ioctl$USBDEVFS_CONTROL(fd fd_usbfs, cmd const[USBDEVFS_CONTROL], arg ptr[in, usbdevfs_ctrltransfer]) +ioctl$USBDEVFS_BULK(fd fd_usbfs, cmd const[USBDEVFS_BULK], arg ptr[in, usbdevfs_bulktransfer]) +ioctl$USBDEVFS_RESETEP(fd fd_usbfs, cmd const[USBDEVFS_RESETEP], arg ptr[in, usbdevfs_ep]) +ioctl$USBDEVFS_RESET(fd fd_usbfs, cmd const[USBDEVFS_RESET]) +ioctl$USBDEVFS_CLEAR_HALT(fd fd_usbfs, cmd const[USBDEVFS_CLEAR_HALT], arg ptr[in, usbdevfs_ep]) +ioctl$USBDEVFS_GETDRIVER(fd fd_usbfs, cmd const[USBDEVFS_GETDRIVER], arg ptr[inout, usbdevfs_getdriver]) +ioctl$USBDEVFS_CONNECTINFO(fd fd_usbfs, cmd const[USBDEVFS_CONNECTINFO], arg ptr[out, usbdevfs_connectinfo]) +ioctl$USBDEVFS_SETINTERFACE(fd fd_usbfs, cmd const[USBDEVFS_SETINTERFACE], arg ptr[in, usbdevfs_setinterface]) +ioctl$USBDEVFS_SETCONFIGURATION(fd fd_usbfs, cmd const[USBDEVFS_SETCONFIGURATION], arg ptr[in, int32]) +ioctl$USBDEVFS_SUBMITURB(fd fd_usbfs, cmd const[USBDEVFS_SUBMITURB], arg ptr[in, usbdevfs_urb]) + +# TODO: arg is a pointer to a previously submitted URB. +ioctl$USBDEVFS_DISCARDURB(fd fd_usbfs, cmd const[USBDEVFS_DISCARDURB], arg ptr[in, int64]) + +ioctl$USBDEVFS_DISCSIGNAL(fd fd_usbfs, cmd const[USBDEVFS_DISCSIGNAL], arg ptr[in, usbdevfs_disconnectsignal]) +ioctl$USBDEVFS_CLAIMINTERFACE(fd fd_usbfs, cmd const[USBDEVFS_CLAIMINTERFACE], arg ptr[in, int32]) +ioctl$USBDEVFS_RELEASEINTERFACE(fd fd_usbfs, cmd const[USBDEVFS_RELEASEINTERFACE], arg ptr[in, int32]) +ioctl$USBDEVFS_IOCTL(fd fd_usbfs, cmd const[USBDEVFS_IOCTL], arg ptr[in, usbdevfs_ioctl]) +ioctl$USBDEVFS_CLAIM_PORT(fd fd_usbfs, cmd const[USBDEVFS_CLAIM_PORT], arg ptr[in, int32]) +ioctl$USBDEVFS_RELEASE_PORT(fd fd_usbfs, cmd const[USBDEVFS_RELEASE_PORT], arg ptr[in, int32]) +ioctl$USBDEVFS_GET_CAPABILITIES(fd fd_usbfs, cmd const[USBDEVFS_GET_CAPABILITIES], arg ptr[out, int32]) +ioctl$USBDEVFS_DISCONNECT_CLAIM(fd fd_usbfs, cmd const[USBDEVFS_DISCONNECT_CLAIM], arg ptr[in, usbdevfs_disconnect_claim]) +ioctl$USBDEVFS_FREE_STREAMS(fd fd_usbfs, cmd const[USBDEVFS_FREE_STREAMS], arg ptr[in, usbdevfs_streams]) +ioctl$USBDEVFS_DROP_PRIVILEGES(fd fd_usbfs, cmd const[USBDEVFS_DROP_PRIVILEGES], arg ptr[in, int32]) +ioctl$USBDEVFS_GET_SPEED(fd fd_usbfs, cmd const[USBDEVFS_GET_SPEED]) + +usbdevfs_ep { + num int8:7[0:15] + dir int8:1 +} + +usbdevfs_ctrltransfer { + bRequestType flags[usb_request_type_flags, int8] + bRequest flags[usb_requests, int8] + wValue int16 + wIndex int16 + wLength len[data, int16] + timeout int32 + data ptr[inout, array[int8]] +} + +usb_request_type_flags = USB_DIR_OUT, USB_DIR_IN, USB_TYPE_MASK, USB_TYPE_STANDARD, USB_TYPE_CLASS, USB_TYPE_VENDOR, USB_TYPE_RESERVED, USB_RECIP_MASK, USB_RECIP_DEVICE, USB_RECIP_INTERFACE, USB_RECIP_ENDPOINT, USB_RECIP_OTHER, USB_RECIP_PORT, USB_RECIP_RPIPE + +usbdevfs_bulktransfer { + ep align32[usbdevfs_ep] + len len[data, int32] + timeout int32 + data ptr[inout, array[int8]] +} + +usbdevfs_getdriver { + interface int32 + driver array[int8, MAXDRIVERNAME] +} + +usbdevfs_connectinfo { + devnum int32 + slow int8 +} + +usbdevfs_setinterface { + interface int32 + altsetting int32 +} + +usbdevfs_urb [ + urb_type_control usbdevfs_urb_control + urb_type_bulk usbdevfs_urb_bulk + urb_type_interrupt usbdevfs_urb_interrupt + urb_type_iso usbdevfs_urb_iso +] [varlen] + +usbdevfs_urb_control { + type const[USBDEVFS_URB_TYPE_CONTROL, int8] + endpoint usbdevfs_ep + status int32 + flags flags[urb_flags, int32] + buffer ptr[in, usb_ctrlrequest] + buffer_length len[buffer, int32] + actual_length int32 + start_frame int32 + u const[0, int32] + error_count int32 + signr int32 + usercontext ptr[in, array[int8]] +} + +usb_ctrlrequest { + bRequestType flags[usb_request_type_flags, int8] + bRequest flags[usb_requests, int8] + wValue int16 + wIndex int16 + wLength int16 +} [packed] + +usbdevfs_urb_bulk { + type const[USBDEVFS_URB_TYPE_BULK, int8] + endpoint usbdevfs_ep + status int32 + flags flags[urb_flags, int32] + buffer ptr[in, array[int8]] + buffer_length len[buffer, int32] + actual_length int32 + start_frame int32 + stream_id int32 + error_count int32 + signr int32 + usercontext ptr[in, array[int8]] +} + +usbdevfs_urb_interrupt { + type const[USBDEVFS_URB_TYPE_INTERRUPT, int8] + endpoint usbdevfs_ep + status int32 + flags flags[urb_flags, int32] + buffer ptr[in, array[int8]] + buffer_length len[buffer, int32] + actual_length int32 + start_frame int32 + u const[0, int32] + error_count int32 + signr int32 + usercontext ptr[in, array[int8]] +} + +usbdevfs_urb_iso { + type const[USBDEVFS_URB_TYPE_ISO, int8] + endpoint usbdevfs_ep + status int32 + flags flags[urb_flags, int32] + buffer ptr[in, array[int8]] + buffer_length len[buffer, int32] + actual_length int32 + start_frame int32 + number_of_packets len[iso_frame_desc, int32] + error_count int32 + signr int32 + usercontext ptr[in, array[int8]] + iso_frame_desc array[usbdevfs_iso_packet_desc, 1:127] +} + +urb_flags = USBDEVFS_URB_SHORT_NOT_OK, USBDEVFS_URB_ISO_ASAP, USBDEVFS_URB_BULK_CONTINUATION, USBDEVFS_URB_NO_FSBR, USBDEVFS_URB_ZERO_PACKET, USBDEVFS_URB_NO_INTERRUPT + +usbdevfs_iso_packet_desc { + length int32 + actual_length int32 + status int32 +} + +usbdevfs_disconnectsignal { + signr int32 + context ptr[in, array[int8]] +} + +usbdevfs_ioctl [ + usbdevfs_disconnect usbdevfs_ioctl_disconnect + usbdevfs_connect usbdevfs_ioctl_connect + usbdevfs_driver usbdevfs_ioctl_driver +] + +usbdevfs_ioctl_disconnect { + ifno int32 + ioctl_code const[USBDEVFS_DISCONNECT, int32] + data const[0, intptr] +} + +usbdevfs_ioctl_connect { + ifno int32 + ioctl_code const[USBDEVFS_CONNECT, int32] + data const[0, intptr] +} + +usbdevfs_ioctl_driver { + ifno int32 + ioctl_code int32 + data ptr[inout, array[int8]] +} + +usbdevfs_disconnect_claim { + interface int32 + flags flags[disconnect_flags, int32] + driver array[int8, MAXDRIVERNAME] +} + +disconnect_flags = USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER, USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER + +usbdevfs_streams { + num_streams int32[2:65536] + num_eps len[eps, int32] + eps array[usbdevfs_ep, 1:USB_MAXENDPOINTS] +} diff --git a/sys/linux/dev_bus_usb.txt.warn b/sys/linux/dev_bus_usb.txt.warn new file mode 100644 index 000000000..e0882cb87 --- /dev/null +++ b/sys/linux/dev_bus_usb.txt.warn @@ -0,0 +1,7 @@ +no-such-struct: usbdevfs_ep +no-such-struct: usbdevfs_urb_control +no-such-struct: usbdevfs_urb_bulk +no-such-struct: usbdevfs_urb_interrupt +no-such-struct: usbdevfs_ioctl_disconnect +no-such-struct: usbdevfs_ioctl_connect +no-such-struct: usbdevfs_ioctl_driver diff --git a/sys/linux/dev_bus_usb_386.const b/sys/linux/dev_bus_usb_386.const new file mode 100644 index 000000000..a0db5fa71 --- /dev/null +++ b/sys/linux/dev_bus_usb_386.const @@ -0,0 +1,59 @@ +# AUTOGENERATED FILE +MAXDRIVERNAME = 256 +USBDEVFS_BULK = 3222295810 +USBDEVFS_CLAIMINTERFACE = 2147767567 +USBDEVFS_CLAIM_PORT = 2147767576 +USBDEVFS_CLEAR_HALT = 2147767573 +USBDEVFS_CONNECT = 21783 +USBDEVFS_CONNECTINFO = 1074287889 +USBDEVFS_CONTROL = 3222295808 +USBDEVFS_DISCARDURB = 21771 +USBDEVFS_DISCONNECT = 21782 +USBDEVFS_DISCONNECT_CLAIM = 2164806939 +USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER = 2 +USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER = 1 +USBDEVFS_DISCSIGNAL = 2148029710 +USBDEVFS_DROP_PRIVILEGES = 1074025758 +USBDEVFS_FREE_STREAMS = 2148029725 +USBDEVFS_GETDRIVER = 1090802952 +USBDEVFS_GET_CAPABILITIES = 2147767578 +USBDEVFS_GET_SPEED = 21791 +USBDEVFS_IOCTL = 3222033682 +USBDEVFS_REAPURB = 1074025740 +USBDEVFS_REAPURBNDELAY = 1074025741 +USBDEVFS_RELEASEINTERFACE = 2147767568 +USBDEVFS_RELEASE_PORT = 2147767577 +USBDEVFS_RESET = 21780 +USBDEVFS_RESETEP = 2147767555 +USBDEVFS_SETCONFIGURATION = 2147767557 +USBDEVFS_SETINTERFACE = 2148029700 +USBDEVFS_SUBMITURB = 2150389002 +USBDEVFS_URB_BULK_CONTINUATION = 4 +USBDEVFS_URB_ISO_ASAP = 2 +USBDEVFS_URB_NO_FSBR = 32 +USBDEVFS_URB_NO_INTERRUPT = 128 +USBDEVFS_URB_SHORT_NOT_OK = 1 +USBDEVFS_URB_TYPE_BULK = 3 +USBDEVFS_URB_TYPE_CONTROL = 2 +USBDEVFS_URB_TYPE_INTERRUPT = 1 +USBDEVFS_URB_TYPE_ISO = 0 +USBDEVFS_URB_ZERO_PACKET = 64 +USB_DIR_IN = 128 +USB_DIR_OUT = 0 +USB_MAXENDPOINTS = 30 +USB_RECIP_DEVICE = 0 +USB_RECIP_ENDPOINT = 2 +USB_RECIP_INTERFACE = 1 +USB_RECIP_MASK = 31 +USB_RECIP_OTHER = 3 +USB_RECIP_PORT = 4 +USB_RECIP_RPIPE = 5 +USB_TYPE_CLASS = 32 +USB_TYPE_MASK = 96 +USB_TYPE_RESERVED = 96 +USB_TYPE_STANDARD = 0 +USB_TYPE_VENDOR = 64 +__NR_ioctl = 54 +__NR_mmap = 192 +__NR_mmap2 = 192 +__NR_read = 3 diff --git a/sys/linux/dev_bus_usb_amd64.const b/sys/linux/dev_bus_usb_amd64.const new file mode 100644 index 000000000..9e9fbeb5d --- /dev/null +++ b/sys/linux/dev_bus_usb_amd64.const @@ -0,0 +1,59 @@ +# AUTOGENERATED FILE +MAXDRIVERNAME = 256 +USBDEVFS_BULK = 3222820098 +USBDEVFS_CLAIMINTERFACE = 2147767567 +USBDEVFS_CLAIM_PORT = 2147767576 +USBDEVFS_CLEAR_HALT = 2147767573 +USBDEVFS_CONNECT = 21783 +USBDEVFS_CONNECTINFO = 1074287889 +USBDEVFS_CONTROL = 3222820096 +USBDEVFS_DISCARDURB = 21771 +USBDEVFS_DISCONNECT = 21782 +USBDEVFS_DISCONNECT_CLAIM = 2164806939 +USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER = 2 +USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER = 1 +USBDEVFS_DISCSIGNAL = 2148553998 +USBDEVFS_DROP_PRIVILEGES = 1074025758 +USBDEVFS_FREE_STREAMS = 2148029725 +USBDEVFS_GETDRIVER = 1090802952 +USBDEVFS_GET_CAPABILITIES = 2147767578 +USBDEVFS_GET_SPEED = 21791 +USBDEVFS_IOCTL = 3222295826 +USBDEVFS_REAPURB = 1074287884 +USBDEVFS_REAPURBNDELAY = 1074287885 +USBDEVFS_RELEASEINTERFACE = 2147767568 +USBDEVFS_RELEASE_PORT = 2147767577 +USBDEVFS_RESET = 21780 +USBDEVFS_RESETEP = 2147767555 +USBDEVFS_SETCONFIGURATION = 2147767557 +USBDEVFS_SETINTERFACE = 2148029700 +USBDEVFS_SUBMITURB = 2151175434 +USBDEVFS_URB_BULK_CONTINUATION = 4 +USBDEVFS_URB_ISO_ASAP = 2 +USBDEVFS_URB_NO_FSBR = 32 +USBDEVFS_URB_NO_INTERRUPT = 128 +USBDEVFS_URB_SHORT_NOT_OK = 1 +USBDEVFS_URB_TYPE_BULK = 3 +USBDEVFS_URB_TYPE_CONTROL = 2 +USBDEVFS_URB_TYPE_INTERRUPT = 1 +USBDEVFS_URB_TYPE_ISO = 0 +USBDEVFS_URB_ZERO_PACKET = 64 +USB_DIR_IN = 128 +USB_DIR_OUT = 0 +USB_MAXENDPOINTS = 30 +USB_RECIP_DEVICE = 0 +USB_RECIP_ENDPOINT = 2 +USB_RECIP_INTERFACE = 1 +USB_RECIP_MASK = 31 +USB_RECIP_OTHER = 3 +USB_RECIP_PORT = 4 +USB_RECIP_RPIPE = 5 +USB_TYPE_CLASS = 32 +USB_TYPE_MASK = 96 +USB_TYPE_RESERVED = 96 +USB_TYPE_STANDARD = 0 +USB_TYPE_VENDOR = 64 +__NR_ioctl = 16 +__NR_mmap = 9 +# __NR_mmap2 is not set +__NR_read = 0 diff --git a/sys/linux/dev_bus_usb_arm.const b/sys/linux/dev_bus_usb_arm.const new file mode 100644 index 000000000..a0db5fa71 --- /dev/null +++ b/sys/linux/dev_bus_usb_arm.const @@ -0,0 +1,59 @@ +# AUTOGENERATED FILE +MAXDRIVERNAME = 256 +USBDEVFS_BULK = 3222295810 +USBDEVFS_CLAIMINTERFACE = 2147767567 +USBDEVFS_CLAIM_PORT = 2147767576 +USBDEVFS_CLEAR_HALT = 2147767573 +USBDEVFS_CONNECT = 21783 +USBDEVFS_CONNECTINFO = 1074287889 +USBDEVFS_CONTROL = 3222295808 +USBDEVFS_DISCARDURB = 21771 +USBDEVFS_DISCONNECT = 21782 +USBDEVFS_DISCONNECT_CLAIM = 2164806939 +USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER = 2 +USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER = 1 +USBDEVFS_DISCSIGNAL = 2148029710 +USBDEVFS_DROP_PRIVILEGES = 1074025758 +USBDEVFS_FREE_STREAMS = 2148029725 +USBDEVFS_GETDRIVER = 1090802952 +USBDEVFS_GET_CAPABILITIES = 2147767578 +USBDEVFS_GET_SPEED = 21791 +USBDEVFS_IOCTL = 3222033682 +USBDEVFS_REAPURB = 1074025740 +USBDEVFS_REAPURBNDELAY = 1074025741 +USBDEVFS_RELEASEINTERFACE = 2147767568 +USBDEVFS_RELEASE_PORT = 2147767577 +USBDEVFS_RESET = 21780 +USBDEVFS_RESETEP = 2147767555 +USBDEVFS_SETCONFIGURATION = 2147767557 +USBDEVFS_SETINTERFACE = 2148029700 +USBDEVFS_SUBMITURB = 2150389002 +USBDEVFS_URB_BULK_CONTINUATION = 4 +USBDEVFS_URB_ISO_ASAP = 2 +USBDEVFS_URB_NO_FSBR = 32 +USBDEVFS_URB_NO_INTERRUPT = 128 +USBDEVFS_URB_SHORT_NOT_OK = 1 +USBDEVFS_URB_TYPE_BULK = 3 +USBDEVFS_URB_TYPE_CONTROL = 2 +USBDEVFS_URB_TYPE_INTERRUPT = 1 +USBDEVFS_URB_TYPE_ISO = 0 +USBDEVFS_URB_ZERO_PACKET = 64 +USB_DIR_IN = 128 +USB_DIR_OUT = 0 +USB_MAXENDPOINTS = 30 +USB_RECIP_DEVICE = 0 +USB_RECIP_ENDPOINT = 2 +USB_RECIP_INTERFACE = 1 +USB_RECIP_MASK = 31 +USB_RECIP_OTHER = 3 +USB_RECIP_PORT = 4 +USB_RECIP_RPIPE = 5 +USB_TYPE_CLASS = 32 +USB_TYPE_MASK = 96 +USB_TYPE_RESERVED = 96 +USB_TYPE_STANDARD = 0 +USB_TYPE_VENDOR = 64 +__NR_ioctl = 54 +__NR_mmap = 192 +__NR_mmap2 = 192 +__NR_read = 3 diff --git a/sys/linux/dev_bus_usb_arm64.const b/sys/linux/dev_bus_usb_arm64.const new file mode 100644 index 000000000..c996abd1d --- /dev/null +++ b/sys/linux/dev_bus_usb_arm64.const @@ -0,0 +1,59 @@ +# AUTOGENERATED FILE +MAXDRIVERNAME = 256 +USBDEVFS_BULK = 3222820098 +USBDEVFS_CLAIMINTERFACE = 2147767567 +USBDEVFS_CLAIM_PORT = 2147767576 +USBDEVFS_CLEAR_HALT = 2147767573 +USBDEVFS_CONNECT = 21783 +USBDEVFS_CONNECTINFO = 1074287889 +USBDEVFS_CONTROL = 3222820096 +USBDEVFS_DISCARDURB = 21771 +USBDEVFS_DISCONNECT = 21782 +USBDEVFS_DISCONNECT_CLAIM = 2164806939 +USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER = 2 +USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER = 1 +USBDEVFS_DISCSIGNAL = 2148553998 +USBDEVFS_DROP_PRIVILEGES = 1074025758 +USBDEVFS_FREE_STREAMS = 2148029725 +USBDEVFS_GETDRIVER = 1090802952 +USBDEVFS_GET_CAPABILITIES = 2147767578 +USBDEVFS_GET_SPEED = 21791 +USBDEVFS_IOCTL = 3222295826 +USBDEVFS_REAPURB = 1074287884 +USBDEVFS_REAPURBNDELAY = 1074287885 +USBDEVFS_RELEASEINTERFACE = 2147767568 +USBDEVFS_RELEASE_PORT = 2147767577 +USBDEVFS_RESET = 21780 +USBDEVFS_RESETEP = 2147767555 +USBDEVFS_SETCONFIGURATION = 2147767557 +USBDEVFS_SETINTERFACE = 2148029700 +USBDEVFS_SUBMITURB = 2151175434 +USBDEVFS_URB_BULK_CONTINUATION = 4 +USBDEVFS_URB_ISO_ASAP = 2 +USBDEVFS_URB_NO_FSBR = 32 +USBDEVFS_URB_NO_INTERRUPT = 128 +USBDEVFS_URB_SHORT_NOT_OK = 1 +USBDEVFS_URB_TYPE_BULK = 3 +USBDEVFS_URB_TYPE_CONTROL = 2 +USBDEVFS_URB_TYPE_INTERRUPT = 1 +USBDEVFS_URB_TYPE_ISO = 0 +USBDEVFS_URB_ZERO_PACKET = 64 +USB_DIR_IN = 128 +USB_DIR_OUT = 0 +USB_MAXENDPOINTS = 30 +USB_RECIP_DEVICE = 0 +USB_RECIP_ENDPOINT = 2 +USB_RECIP_INTERFACE = 1 +USB_RECIP_MASK = 31 +USB_RECIP_OTHER = 3 +USB_RECIP_PORT = 4 +USB_RECIP_RPIPE = 5 +USB_TYPE_CLASS = 32 +USB_TYPE_MASK = 96 +USB_TYPE_RESERVED = 96 +USB_TYPE_STANDARD = 0 +USB_TYPE_VENDOR = 64 +__NR_ioctl = 29 +__NR_mmap = 222 +# __NR_mmap2 is not set +__NR_read = 63 diff --git a/sys/linux/dev_bus_usb_mips64le.const b/sys/linux/dev_bus_usb_mips64le.const new file mode 100644 index 000000000..5d1d6bedd --- /dev/null +++ b/sys/linux/dev_bus_usb_mips64le.const @@ -0,0 +1,59 @@ +# AUTOGENERATED FILE +MAXDRIVERNAME = 256 +USBDEVFS_BULK = 3222820098 +USBDEVFS_CLAIMINTERFACE = 1074025743 +USBDEVFS_CLAIM_PORT = 1074025752 +USBDEVFS_CLEAR_HALT = 1074025749 +USBDEVFS_CONNECT = 536892695 +USBDEVFS_CONNECTINFO = 2148029713 +USBDEVFS_CONTROL = 3222820096 +USBDEVFS_DISCARDURB = 536892683 +USBDEVFS_DISCONNECT = 536892694 +USBDEVFS_DISCONNECT_CLAIM = 1091065115 +USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER = 2 +USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER = 1 +USBDEVFS_DISCSIGNAL = 1074812174 +USBDEVFS_DROP_PRIVILEGES = 2147767582 +USBDEVFS_FREE_STREAMS = 1074287901 +USBDEVFS_GETDRIVER = 2164544776 +USBDEVFS_GET_CAPABILITIES = 1074025754 +USBDEVFS_GET_SPEED = 536892703 +USBDEVFS_IOCTL = 3222295826 +USBDEVFS_REAPURB = 2148029708 +USBDEVFS_REAPURBNDELAY = 2148029709 +USBDEVFS_RELEASEINTERFACE = 1074025744 +USBDEVFS_RELEASE_PORT = 1074025753 +USBDEVFS_RESET = 536892692 +USBDEVFS_RESETEP = 1074025731 +USBDEVFS_SETCONFIGURATION = 1074025733 +USBDEVFS_SETINTERFACE = 1074287876 +USBDEVFS_SUBMITURB = 1077433610 +USBDEVFS_URB_BULK_CONTINUATION = 4 +USBDEVFS_URB_ISO_ASAP = 2 +USBDEVFS_URB_NO_FSBR = 32 +USBDEVFS_URB_NO_INTERRUPT = 128 +USBDEVFS_URB_SHORT_NOT_OK = 1 +USBDEVFS_URB_TYPE_BULK = 3 +USBDEVFS_URB_TYPE_CONTROL = 2 +USBDEVFS_URB_TYPE_INTERRUPT = 1 +USBDEVFS_URB_TYPE_ISO = 0 +USBDEVFS_URB_ZERO_PACKET = 64 +USB_DIR_IN = 128 +USB_DIR_OUT = 0 +USB_MAXENDPOINTS = 30 +USB_RECIP_DEVICE = 0 +USB_RECIP_ENDPOINT = 2 +USB_RECIP_INTERFACE = 1 +USB_RECIP_MASK = 31 +USB_RECIP_OTHER = 3 +USB_RECIP_PORT = 4 +USB_RECIP_RPIPE = 5 +USB_TYPE_CLASS = 32 +USB_TYPE_MASK = 96 +USB_TYPE_RESERVED = 96 +USB_TYPE_STANDARD = 0 +USB_TYPE_VENDOR = 64 +__NR_ioctl = 5015 +__NR_mmap = 5009 +# __NR_mmap2 is not set +__NR_read = 5000 diff --git a/sys/linux/dev_bus_usb_ppc64le.const b/sys/linux/dev_bus_usb_ppc64le.const new file mode 100644 index 000000000..cfcbe3088 --- /dev/null +++ b/sys/linux/dev_bus_usb_ppc64le.const @@ -0,0 +1,59 @@ +# AUTOGENERATED FILE +MAXDRIVERNAME = 256 +USBDEVFS_BULK = 3222820098 +USBDEVFS_CLAIMINTERFACE = 1074025743 +USBDEVFS_CLAIM_PORT = 1074025752 +USBDEVFS_CLEAR_HALT = 1074025749 +USBDEVFS_CONNECT = 536892695 +USBDEVFS_CONNECTINFO = 2148029713 +USBDEVFS_CONTROL = 3222820096 +USBDEVFS_DISCARDURB = 536892683 +USBDEVFS_DISCONNECT = 536892694 +USBDEVFS_DISCONNECT_CLAIM = 1091065115 +USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER = 2 +USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER = 1 +USBDEVFS_DISCSIGNAL = 1074812174 +USBDEVFS_DROP_PRIVILEGES = 2147767582 +USBDEVFS_FREE_STREAMS = 1074287901 +USBDEVFS_GETDRIVER = 2164544776 +USBDEVFS_GET_CAPABILITIES = 1074025754 +USBDEVFS_GET_SPEED = 536892703 +USBDEVFS_IOCTL = 3222295826 +USBDEVFS_REAPURB = 2148029708 +USBDEVFS_REAPURBNDELAY = 2148029709 +USBDEVFS_RELEASEINTERFACE = 1074025744 +USBDEVFS_RELEASE_PORT = 1074025753 +USBDEVFS_RESET = 536892692 +USBDEVFS_RESETEP = 1074025731 +USBDEVFS_SETCONFIGURATION = 1074025733 +USBDEVFS_SETINTERFACE = 1074287876 +USBDEVFS_SUBMITURB = 1077433610 +USBDEVFS_URB_BULK_CONTINUATION = 4 +USBDEVFS_URB_ISO_ASAP = 2 +USBDEVFS_URB_NO_FSBR = 32 +USBDEVFS_URB_NO_INTERRUPT = 128 +USBDEVFS_URB_SHORT_NOT_OK = 1 +USBDEVFS_URB_TYPE_BULK = 3 +USBDEVFS_URB_TYPE_CONTROL = 2 +USBDEVFS_URB_TYPE_INTERRUPT = 1 +USBDEVFS_URB_TYPE_ISO = 0 +USBDEVFS_URB_ZERO_PACKET = 64 +USB_DIR_IN = 128 +USB_DIR_OUT = 0 +USB_MAXENDPOINTS = 30 +USB_RECIP_DEVICE = 0 +USB_RECIP_ENDPOINT = 2 +USB_RECIP_INTERFACE = 1 +USB_RECIP_MASK = 31 +USB_RECIP_OTHER = 3 +USB_RECIP_PORT = 4 +USB_RECIP_RPIPE = 5 +USB_TYPE_CLASS = 32 +USB_TYPE_MASK = 96 +USB_TYPE_RESERVED = 96 +USB_TYPE_STANDARD = 0 +USB_TYPE_VENDOR = 64 +__NR_ioctl = 54 +__NR_mmap = 90 +# __NR_mmap2 is not set +__NR_read = 3 diff --git a/sys/linux/devio.txt b/sys/linux/devio.txt deleted file mode 100644 index c66ef5c06..000000000 --- a/sys/linux/devio.txt +++ /dev/null @@ -1,217 +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. - -# https://elixir.bootlin.com/linux/latest/source/drivers/usb/core/devio.c - -include -include -include -include -include - -define MAXDRIVERNAME USBDEVFS_MAXDRIVERNAME + 1 - -resource fd_usbfs[fd] - -syz_open_dev$usbfs(dev ptr[in, string["/dev/bus/usb/00#/00#"]], id intptr, flags flags[open_flags]) fd_usbfs - -read$usbfs(fd fd_usbfs, buf buffer[out], count len[buf]) - -mmap$usbfs(addr vma, len len[addr], prot flags[mmap_prot], flags flags[mmap_flags], fd fd_usbfs, offset fileoff) -_ = __NR_mmap2 - -# TODO: arg is a pointer to a previously submitted URB. -ioctl$USBDEVFS_REAPURB(fd fd_usbfs, cmd const[USBDEVFS_REAPURB], arg ptr[out, int64]) -ioctl$USBDEVFS_REAPURBNDELAY(fd fd_usbfs, cmd const[USBDEVFS_REAPURBNDELAY], arg ptr[out, int64]) - -ioctl$USBDEVFS_CONTROL(fd fd_usbfs, cmd const[USBDEVFS_CONTROL], arg ptr[in, usbdevfs_ctrltransfer]) -ioctl$USBDEVFS_BULK(fd fd_usbfs, cmd const[USBDEVFS_BULK], arg ptr[in, usbdevfs_bulktransfer]) -ioctl$USBDEVFS_RESETEP(fd fd_usbfs, cmd const[USBDEVFS_RESETEP], arg ptr[in, usbdevfs_ep]) -ioctl$USBDEVFS_RESET(fd fd_usbfs, cmd const[USBDEVFS_RESET]) -ioctl$USBDEVFS_CLEAR_HALT(fd fd_usbfs, cmd const[USBDEVFS_CLEAR_HALT], arg ptr[in, usbdevfs_ep]) -ioctl$USBDEVFS_GETDRIVER(fd fd_usbfs, cmd const[USBDEVFS_GETDRIVER], arg ptr[inout, usbdevfs_getdriver]) -ioctl$USBDEVFS_CONNECTINFO(fd fd_usbfs, cmd const[USBDEVFS_CONNECTINFO], arg ptr[out, usbdevfs_connectinfo]) -ioctl$USBDEVFS_SETINTERFACE(fd fd_usbfs, cmd const[USBDEVFS_SETINTERFACE], arg ptr[in, usbdevfs_setinterface]) -ioctl$USBDEVFS_SETCONFIGURATION(fd fd_usbfs, cmd const[USBDEVFS_SETCONFIGURATION], arg ptr[in, int32]) -ioctl$USBDEVFS_SUBMITURB(fd fd_usbfs, cmd const[USBDEVFS_SUBMITURB], arg ptr[in, usbdevfs_urb]) - -# TODO: arg is a pointer to a previously submitted URB. -ioctl$USBDEVFS_DISCARDURB(fd fd_usbfs, cmd const[USBDEVFS_DISCARDURB], arg ptr[in, int64]) - -ioctl$USBDEVFS_DISCSIGNAL(fd fd_usbfs, cmd const[USBDEVFS_DISCSIGNAL], arg ptr[in, usbdevfs_disconnectsignal]) -ioctl$USBDEVFS_CLAIMINTERFACE(fd fd_usbfs, cmd const[USBDEVFS_CLAIMINTERFACE], arg ptr[in, int32]) -ioctl$USBDEVFS_RELEASEINTERFACE(fd fd_usbfs, cmd const[USBDEVFS_RELEASEINTERFACE], arg ptr[in, int32]) -ioctl$USBDEVFS_IOCTL(fd fd_usbfs, cmd const[USBDEVFS_IOCTL], arg ptr[in, usbdevfs_ioctl]) -ioctl$USBDEVFS_CLAIM_PORT(fd fd_usbfs, cmd const[USBDEVFS_CLAIM_PORT], arg ptr[in, int32]) -ioctl$USBDEVFS_RELEASE_PORT(fd fd_usbfs, cmd const[USBDEVFS_RELEASE_PORT], arg ptr[in, int32]) -ioctl$USBDEVFS_GET_CAPABILITIES(fd fd_usbfs, cmd const[USBDEVFS_GET_CAPABILITIES], arg ptr[out, int32]) -ioctl$USBDEVFS_DISCONNECT_CLAIM(fd fd_usbfs, cmd const[USBDEVFS_DISCONNECT_CLAIM], arg ptr[in, usbdevfs_disconnect_claim]) -ioctl$USBDEVFS_FREE_STREAMS(fd fd_usbfs, cmd const[USBDEVFS_FREE_STREAMS], arg ptr[in, usbdevfs_streams]) -ioctl$USBDEVFS_DROP_PRIVILEGES(fd fd_usbfs, cmd const[USBDEVFS_DROP_PRIVILEGES], arg ptr[in, int32]) -ioctl$USBDEVFS_GET_SPEED(fd fd_usbfs, cmd const[USBDEVFS_GET_SPEED]) - -usbdevfs_ep { - num int8:7[0:15] - dir int8:1 -} - -usbdevfs_ctrltransfer { - bRequestType flags[usb_request_type_flags, int8] - bRequest flags[usb_requests, int8] - wValue int16 - wIndex int16 - wLength len[data, int16] - timeout int32 - data ptr[inout, array[int8]] -} - -usb_request_type_flags = USB_DIR_OUT, USB_DIR_IN, USB_TYPE_MASK, USB_TYPE_STANDARD, USB_TYPE_CLASS, USB_TYPE_VENDOR, USB_TYPE_RESERVED, USB_RECIP_MASK, USB_RECIP_DEVICE, USB_RECIP_INTERFACE, USB_RECIP_ENDPOINT, USB_RECIP_OTHER, USB_RECIP_PORT, USB_RECIP_RPIPE - -usbdevfs_bulktransfer { - ep align32[usbdevfs_ep] - len len[data, int32] - timeout int32 - data ptr[inout, array[int8]] -} - -usbdevfs_getdriver { - interface int32 - driver array[int8, MAXDRIVERNAME] -} - -usbdevfs_connectinfo { - devnum int32 - slow int8 -} - -usbdevfs_setinterface { - interface int32 - altsetting int32 -} - -usbdevfs_urb [ - urb_type_control usbdevfs_urb_control - urb_type_bulk usbdevfs_urb_bulk - urb_type_interrupt usbdevfs_urb_interrupt - urb_type_iso usbdevfs_urb_iso -] [varlen] - -usbdevfs_urb_control { - type const[USBDEVFS_URB_TYPE_CONTROL, int8] - endpoint usbdevfs_ep - status int32 - flags flags[urb_flags, int32] - buffer ptr[in, usb_ctrlrequest] - buffer_length len[buffer, int32] - actual_length int32 - start_frame int32 - u const[0, int32] - error_count int32 - signr int32 - usercontext ptr[in, array[int8]] -} - -usb_ctrlrequest { - bRequestType flags[usb_request_type_flags, int8] - bRequest flags[usb_requests, int8] - wValue int16 - wIndex int16 - wLength int16 -} [packed] - -usbdevfs_urb_bulk { - type const[USBDEVFS_URB_TYPE_BULK, int8] - endpoint usbdevfs_ep - status int32 - flags flags[urb_flags, int32] - buffer ptr[in, array[int8]] - buffer_length len[buffer, int32] - actual_length int32 - start_frame int32 - stream_id int32 - error_count int32 - signr int32 - usercontext ptr[in, array[int8]] -} - -usbdevfs_urb_interrupt { - type const[USBDEVFS_URB_TYPE_INTERRUPT, int8] - endpoint usbdevfs_ep - status int32 - flags flags[urb_flags, int32] - buffer ptr[in, array[int8]] - buffer_length len[buffer, int32] - actual_length int32 - start_frame int32 - u const[0, int32] - error_count int32 - signr int32 - usercontext ptr[in, array[int8]] -} - -usbdevfs_urb_iso { - type const[USBDEVFS_URB_TYPE_ISO, int8] - endpoint usbdevfs_ep - status int32 - flags flags[urb_flags, int32] - buffer ptr[in, array[int8]] - buffer_length len[buffer, int32] - actual_length int32 - start_frame int32 - number_of_packets len[iso_frame_desc, int32] - error_count int32 - signr int32 - usercontext ptr[in, array[int8]] - iso_frame_desc array[usbdevfs_iso_packet_desc, 1:127] -} - -urb_flags = USBDEVFS_URB_SHORT_NOT_OK, USBDEVFS_URB_ISO_ASAP, USBDEVFS_URB_BULK_CONTINUATION, USBDEVFS_URB_NO_FSBR, USBDEVFS_URB_ZERO_PACKET, USBDEVFS_URB_NO_INTERRUPT - -usbdevfs_iso_packet_desc { - length int32 - actual_length int32 - status int32 -} - -usbdevfs_disconnectsignal { - signr int32 - context ptr[in, array[int8]] -} - -usbdevfs_ioctl [ - usbdevfs_disconnect usbdevfs_ioctl_disconnect - usbdevfs_connect usbdevfs_ioctl_connect - usbdevfs_driver usbdevfs_ioctl_driver -] - -usbdevfs_ioctl_disconnect { - ifno int32 - ioctl_code const[USBDEVFS_DISCONNECT, int32] - data const[0, intptr] -} - -usbdevfs_ioctl_connect { - ifno int32 - ioctl_code const[USBDEVFS_CONNECT, int32] - data const[0, intptr] -} - -usbdevfs_ioctl_driver { - ifno int32 - ioctl_code int32 - data ptr[inout, array[int8]] -} - -usbdevfs_disconnect_claim { - interface int32 - flags flags[disconnect_flags, int32] - driver array[int8, MAXDRIVERNAME] -} - -disconnect_flags = USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER, USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER - -usbdevfs_streams { - num_streams int32[2:65536] - num_eps len[eps, int32] - eps array[usbdevfs_ep, 1:USB_MAXENDPOINTS] -} diff --git a/sys/linux/devio.txt.warn b/sys/linux/devio.txt.warn deleted file mode 100644 index e0882cb87..000000000 --- a/sys/linux/devio.txt.warn +++ /dev/null @@ -1,7 +0,0 @@ -no-such-struct: usbdevfs_ep -no-such-struct: usbdevfs_urb_control -no-such-struct: usbdevfs_urb_bulk -no-such-struct: usbdevfs_urb_interrupt -no-such-struct: usbdevfs_ioctl_disconnect -no-such-struct: usbdevfs_ioctl_connect -no-such-struct: usbdevfs_ioctl_driver diff --git a/sys/linux/devio_386.const b/sys/linux/devio_386.const deleted file mode 100644 index a0db5fa71..000000000 --- a/sys/linux/devio_386.const +++ /dev/null @@ -1,59 +0,0 @@ -# AUTOGENERATED FILE -MAXDRIVERNAME = 256 -USBDEVFS_BULK = 3222295810 -USBDEVFS_CLAIMINTERFACE = 2147767567 -USBDEVFS_CLAIM_PORT = 2147767576 -USBDEVFS_CLEAR_HALT = 2147767573 -USBDEVFS_CONNECT = 21783 -USBDEVFS_CONNECTINFO = 1074287889 -USBDEVFS_CONTROL = 3222295808 -USBDEVFS_DISCARDURB = 21771 -USBDEVFS_DISCONNECT = 21782 -USBDEVFS_DISCONNECT_CLAIM = 2164806939 -USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER = 2 -USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER = 1 -USBDEVFS_DISCSIGNAL = 2148029710 -USBDEVFS_DROP_PRIVILEGES = 1074025758 -USBDEVFS_FREE_STREAMS = 2148029725 -USBDEVFS_GETDRIVER = 1090802952 -USBDEVFS_GET_CAPABILITIES = 2147767578 -USBDEVFS_GET_SPEED = 21791 -USBDEVFS_IOCTL = 3222033682 -USBDEVFS_REAPURB = 1074025740 -USBDEVFS_REAPURBNDELAY = 1074025741 -USBDEVFS_RELEASEINTERFACE = 2147767568 -USBDEVFS_RELEASE_PORT = 2147767577 -USBDEVFS_RESET = 21780 -USBDEVFS_RESETEP = 2147767555 -USBDEVFS_SETCONFIGURATION = 2147767557 -USBDEVFS_SETINTERFACE = 2148029700 -USBDEVFS_SUBMITURB = 2150389002 -USBDEVFS_URB_BULK_CONTINUATION = 4 -USBDEVFS_URB_ISO_ASAP = 2 -USBDEVFS_URB_NO_FSBR = 32 -USBDEVFS_URB_NO_INTERRUPT = 128 -USBDEVFS_URB_SHORT_NOT_OK = 1 -USBDEVFS_URB_TYPE_BULK = 3 -USBDEVFS_URB_TYPE_CONTROL = 2 -USBDEVFS_URB_TYPE_INTERRUPT = 1 -USBDEVFS_URB_TYPE_ISO = 0 -USBDEVFS_URB_ZERO_PACKET = 64 -USB_DIR_IN = 128 -USB_DIR_OUT = 0 -USB_MAXENDPOINTS = 30 -USB_RECIP_DEVICE = 0 -USB_RECIP_ENDPOINT = 2 -USB_RECIP_INTERFACE = 1 -USB_RECIP_MASK = 31 -USB_RECIP_OTHER = 3 -USB_RECIP_PORT = 4 -USB_RECIP_RPIPE = 5 -USB_TYPE_CLASS = 32 -USB_TYPE_MASK = 96 -USB_TYPE_RESERVED = 96 -USB_TYPE_STANDARD = 0 -USB_TYPE_VENDOR = 64 -__NR_ioctl = 54 -__NR_mmap = 192 -__NR_mmap2 = 192 -__NR_read = 3 diff --git a/sys/linux/devio_amd64.const b/sys/linux/devio_amd64.const deleted file mode 100644 index 9e9fbeb5d..000000000 --- a/sys/linux/devio_amd64.const +++ /dev/null @@ -1,59 +0,0 @@ -# AUTOGENERATED FILE -MAXDRIVERNAME = 256 -USBDEVFS_BULK = 3222820098 -USBDEVFS_CLAIMINTERFACE = 2147767567 -USBDEVFS_CLAIM_PORT = 2147767576 -USBDEVFS_CLEAR_HALT = 2147767573 -USBDEVFS_CONNECT = 21783 -USBDEVFS_CONNECTINFO = 1074287889 -USBDEVFS_CONTROL = 3222820096 -USBDEVFS_DISCARDURB = 21771 -USBDEVFS_DISCONNECT = 21782 -USBDEVFS_DISCONNECT_CLAIM = 2164806939 -USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER = 2 -USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER = 1 -USBDEVFS_DISCSIGNAL = 2148553998 -USBDEVFS_DROP_PRIVILEGES = 1074025758 -USBDEVFS_FREE_STREAMS = 2148029725 -USBDEVFS_GETDRIVER = 1090802952 -USBDEVFS_GET_CAPABILITIES = 2147767578 -USBDEVFS_GET_SPEED = 21791 -USBDEVFS_IOCTL = 3222295826 -USBDEVFS_REAPURB = 1074287884 -USBDEVFS_REAPURBNDELAY = 1074287885 -USBDEVFS_RELEASEINTERFACE = 2147767568 -USBDEVFS_RELEASE_PORT = 2147767577 -USBDEVFS_RESET = 21780 -USBDEVFS_RESETEP = 2147767555 -USBDEVFS_SETCONFIGURATION = 2147767557 -USBDEVFS_SETINTERFACE = 2148029700 -USBDEVFS_SUBMITURB = 2151175434 -USBDEVFS_URB_BULK_CONTINUATION = 4 -USBDEVFS_URB_ISO_ASAP = 2 -USBDEVFS_URB_NO_FSBR = 32 -USBDEVFS_URB_NO_INTERRUPT = 128 -USBDEVFS_URB_SHORT_NOT_OK = 1 -USBDEVFS_URB_TYPE_BULK = 3 -USBDEVFS_URB_TYPE_CONTROL = 2 -USBDEVFS_URB_TYPE_INTERRUPT = 1 -USBDEVFS_URB_TYPE_ISO = 0 -USBDEVFS_URB_ZERO_PACKET = 64 -USB_DIR_IN = 128 -USB_DIR_OUT = 0 -USB_MAXENDPOINTS = 30 -USB_RECIP_DEVICE = 0 -USB_RECIP_ENDPOINT = 2 -USB_RECIP_INTERFACE = 1 -USB_RECIP_MASK = 31 -USB_RECIP_OTHER = 3 -USB_RECIP_PORT = 4 -USB_RECIP_RPIPE = 5 -USB_TYPE_CLASS = 32 -USB_TYPE_MASK = 96 -USB_TYPE_RESERVED = 96 -USB_TYPE_STANDARD = 0 -USB_TYPE_VENDOR = 64 -__NR_ioctl = 16 -__NR_mmap = 9 -# __NR_mmap2 is not set -__NR_read = 0 diff --git a/sys/linux/devio_arm.const b/sys/linux/devio_arm.const deleted file mode 100644 index a0db5fa71..000000000 --- a/sys/linux/devio_arm.const +++ /dev/null @@ -1,59 +0,0 @@ -# AUTOGENERATED FILE -MAXDRIVERNAME = 256 -USBDEVFS_BULK = 3222295810 -USBDEVFS_CLAIMINTERFACE = 2147767567 -USBDEVFS_CLAIM_PORT = 2147767576 -USBDEVFS_CLEAR_HALT = 2147767573 -USBDEVFS_CONNECT = 21783 -USBDEVFS_CONNECTINFO = 1074287889 -USBDEVFS_CONTROL = 3222295808 -USBDEVFS_DISCARDURB = 21771 -USBDEVFS_DISCONNECT = 21782 -USBDEVFS_DISCONNECT_CLAIM = 2164806939 -USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER = 2 -USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER = 1 -USBDEVFS_DISCSIGNAL = 2148029710 -USBDEVFS_DROP_PRIVILEGES = 1074025758 -USBDEVFS_FREE_STREAMS = 2148029725 -USBDEVFS_GETDRIVER = 1090802952 -USBDEVFS_GET_CAPABILITIES = 2147767578 -USBDEVFS_GET_SPEED = 21791 -USBDEVFS_IOCTL = 3222033682 -USBDEVFS_REAPURB = 1074025740 -USBDEVFS_REAPURBNDELAY = 1074025741 -USBDEVFS_RELEASEINTERFACE = 2147767568 -USBDEVFS_RELEASE_PORT = 2147767577 -USBDEVFS_RESET = 21780 -USBDEVFS_RESETEP = 2147767555 -USBDEVFS_SETCONFIGURATION = 2147767557 -USBDEVFS_SETINTERFACE = 2148029700 -USBDEVFS_SUBMITURB = 2150389002 -USBDEVFS_URB_BULK_CONTINUATION = 4 -USBDEVFS_URB_ISO_ASAP = 2 -USBDEVFS_URB_NO_FSBR = 32 -USBDEVFS_URB_NO_INTERRUPT = 128 -USBDEVFS_URB_SHORT_NOT_OK = 1 -USBDEVFS_URB_TYPE_BULK = 3 -USBDEVFS_URB_TYPE_CONTROL = 2 -USBDEVFS_URB_TYPE_INTERRUPT = 1 -USBDEVFS_URB_TYPE_ISO = 0 -USBDEVFS_URB_ZERO_PACKET = 64 -USB_DIR_IN = 128 -USB_DIR_OUT = 0 -USB_MAXENDPOINTS = 30 -USB_RECIP_DEVICE = 0 -USB_RECIP_ENDPOINT = 2 -USB_RECIP_INTERFACE = 1 -USB_RECIP_MASK = 31 -USB_RECIP_OTHER = 3 -USB_RECIP_PORT = 4 -USB_RECIP_RPIPE = 5 -USB_TYPE_CLASS = 32 -USB_TYPE_MASK = 96 -USB_TYPE_RESERVED = 96 -USB_TYPE_STANDARD = 0 -USB_TYPE_VENDOR = 64 -__NR_ioctl = 54 -__NR_mmap = 192 -__NR_mmap2 = 192 -__NR_read = 3 diff --git a/sys/linux/devio_arm64.const b/sys/linux/devio_arm64.const deleted file mode 100644 index c996abd1d..000000000 --- a/sys/linux/devio_arm64.const +++ /dev/null @@ -1,59 +0,0 @@ -# AUTOGENERATED FILE -MAXDRIVERNAME = 256 -USBDEVFS_BULK = 3222820098 -USBDEVFS_CLAIMINTERFACE = 2147767567 -USBDEVFS_CLAIM_PORT = 2147767576 -USBDEVFS_CLEAR_HALT = 2147767573 -USBDEVFS_CONNECT = 21783 -USBDEVFS_CONNECTINFO = 1074287889 -USBDEVFS_CONTROL = 3222820096 -USBDEVFS_DISCARDURB = 21771 -USBDEVFS_DISCONNECT = 21782 -USBDEVFS_DISCONNECT_CLAIM = 2164806939 -USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER = 2 -USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER = 1 -USBDEVFS_DISCSIGNAL = 2148553998 -USBDEVFS_DROP_PRIVILEGES = 1074025758 -USBDEVFS_FREE_STREAMS = 2148029725 -USBDEVFS_GETDRIVER = 1090802952 -USBDEVFS_GET_CAPABILITIES = 2147767578 -USBDEVFS_GET_SPEED = 21791 -USBDEVFS_IOCTL = 3222295826 -USBDEVFS_REAPURB = 1074287884 -USBDEVFS_REAPURBNDELAY = 1074287885 -USBDEVFS_RELEASEINTERFACE = 2147767568 -USBDEVFS_RELEASE_PORT = 2147767577 -USBDEVFS_RESET = 21780 -USBDEVFS_RESETEP = 2147767555 -USBDEVFS_SETCONFIGURATION = 2147767557 -USBDEVFS_SETINTERFACE = 2148029700 -USBDEVFS_SUBMITURB = 2151175434 -USBDEVFS_URB_BULK_CONTINUATION = 4 -USBDEVFS_URB_ISO_ASAP = 2 -USBDEVFS_URB_NO_FSBR = 32 -USBDEVFS_URB_NO_INTERRUPT = 128 -USBDEVFS_URB_SHORT_NOT_OK = 1 -USBDEVFS_URB_TYPE_BULK = 3 -USBDEVFS_URB_TYPE_CONTROL = 2 -USBDEVFS_URB_TYPE_INTERRUPT = 1 -USBDEVFS_URB_TYPE_ISO = 0 -USBDEVFS_URB_ZERO_PACKET = 64 -USB_DIR_IN = 128 -USB_DIR_OUT = 0 -USB_MAXENDPOINTS = 30 -USB_RECIP_DEVICE = 0 -USB_RECIP_ENDPOINT = 2 -USB_RECIP_INTERFACE = 1 -USB_RECIP_MASK = 31 -USB_RECIP_OTHER = 3 -USB_RECIP_PORT = 4 -USB_RECIP_RPIPE = 5 -USB_TYPE_CLASS = 32 -USB_TYPE_MASK = 96 -USB_TYPE_RESERVED = 96 -USB_TYPE_STANDARD = 0 -USB_TYPE_VENDOR = 64 -__NR_ioctl = 29 -__NR_mmap = 222 -# __NR_mmap2 is not set -__NR_read = 63 diff --git a/sys/linux/devio_mips64le.const b/sys/linux/devio_mips64le.const deleted file mode 100644 index 5d1d6bedd..000000000 --- a/sys/linux/devio_mips64le.const +++ /dev/null @@ -1,59 +0,0 @@ -# AUTOGENERATED FILE -MAXDRIVERNAME = 256 -USBDEVFS_BULK = 3222820098 -USBDEVFS_CLAIMINTERFACE = 1074025743 -USBDEVFS_CLAIM_PORT = 1074025752 -USBDEVFS_CLEAR_HALT = 1074025749 -USBDEVFS_CONNECT = 536892695 -USBDEVFS_CONNECTINFO = 2148029713 -USBDEVFS_CONTROL = 3222820096 -USBDEVFS_DISCARDURB = 536892683 -USBDEVFS_DISCONNECT = 536892694 -USBDEVFS_DISCONNECT_CLAIM = 1091065115 -USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER = 2 -USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER = 1 -USBDEVFS_DISCSIGNAL = 1074812174 -USBDEVFS_DROP_PRIVILEGES = 2147767582 -USBDEVFS_FREE_STREAMS = 1074287901 -USBDEVFS_GETDRIVER = 2164544776 -USBDEVFS_GET_CAPABILITIES = 1074025754 -USBDEVFS_GET_SPEED = 536892703 -USBDEVFS_IOCTL = 3222295826 -USBDEVFS_REAPURB = 2148029708 -USBDEVFS_REAPURBNDELAY = 2148029709 -USBDEVFS_RELEASEINTERFACE = 1074025744 -USBDEVFS_RELEASE_PORT = 1074025753 -USBDEVFS_RESET = 536892692 -USBDEVFS_RESETEP = 1074025731 -USBDEVFS_SETCONFIGURATION = 1074025733 -USBDEVFS_SETINTERFACE = 1074287876 -USBDEVFS_SUBMITURB = 1077433610 -USBDEVFS_URB_BULK_CONTINUATION = 4 -USBDEVFS_URB_ISO_ASAP = 2 -USBDEVFS_URB_NO_FSBR = 32 -USBDEVFS_URB_NO_INTERRUPT = 128 -USBDEVFS_URB_SHORT_NOT_OK = 1 -USBDEVFS_URB_TYPE_BULK = 3 -USBDEVFS_URB_TYPE_CONTROL = 2 -USBDEVFS_URB_TYPE_INTERRUPT = 1 -USBDEVFS_URB_TYPE_ISO = 0 -USBDEVFS_URB_ZERO_PACKET = 64 -USB_DIR_IN = 128 -USB_DIR_OUT = 0 -USB_MAXENDPOINTS = 30 -USB_RECIP_DEVICE = 0 -USB_RECIP_ENDPOINT = 2 -USB_RECIP_INTERFACE = 1 -USB_RECIP_MASK = 31 -USB_RECIP_OTHER = 3 -USB_RECIP_PORT = 4 -USB_RECIP_RPIPE = 5 -USB_TYPE_CLASS = 32 -USB_TYPE_MASK = 96 -USB_TYPE_RESERVED = 96 -USB_TYPE_STANDARD = 0 -USB_TYPE_VENDOR = 64 -__NR_ioctl = 5015 -__NR_mmap = 5009 -# __NR_mmap2 is not set -__NR_read = 5000 diff --git a/sys/linux/devio_ppc64le.const b/sys/linux/devio_ppc64le.const deleted file mode 100644 index cfcbe3088..000000000 --- a/sys/linux/devio_ppc64le.const +++ /dev/null @@ -1,59 +0,0 @@ -# AUTOGENERATED FILE -MAXDRIVERNAME = 256 -USBDEVFS_BULK = 3222820098 -USBDEVFS_CLAIMINTERFACE = 1074025743 -USBDEVFS_CLAIM_PORT = 1074025752 -USBDEVFS_CLEAR_HALT = 1074025749 -USBDEVFS_CONNECT = 536892695 -USBDEVFS_CONNECTINFO = 2148029713 -USBDEVFS_CONTROL = 3222820096 -USBDEVFS_DISCARDURB = 536892683 -USBDEVFS_DISCONNECT = 536892694 -USBDEVFS_DISCONNECT_CLAIM = 1091065115 -USBDEVFS_DISCONNECT_CLAIM_EXCEPT_DRIVER = 2 -USBDEVFS_DISCONNECT_CLAIM_IF_DRIVER = 1 -USBDEVFS_DISCSIGNAL = 1074812174 -USBDEVFS_DROP_PRIVILEGES = 2147767582 -USBDEVFS_FREE_STREAMS = 1074287901 -USBDEVFS_GETDRIVER = 2164544776 -USBDEVFS_GET_CAPABILITIES = 1074025754 -USBDEVFS_GET_SPEED = 536892703 -USBDEVFS_IOCTL = 3222295826 -USBDEVFS_REAPURB = 2148029708 -USBDEVFS_REAPURBNDELAY = 2148029709 -USBDEVFS_RELEASEINTERFACE = 1074025744 -USBDEVFS_RELEASE_PORT = 1074025753 -USBDEVFS_RESET = 536892692 -USBDEVFS_RESETEP = 1074025731 -USBDEVFS_SETCONFIGURATION = 1074025733 -USBDEVFS_SETINTERFACE = 1074287876 -USBDEVFS_SUBMITURB = 1077433610 -USBDEVFS_URB_BULK_CONTINUATION = 4 -USBDEVFS_URB_ISO_ASAP = 2 -USBDEVFS_URB_NO_FSBR = 32 -USBDEVFS_URB_NO_INTERRUPT = 128 -USBDEVFS_URB_SHORT_NOT_OK = 1 -USBDEVFS_URB_TYPE_BULK = 3 -USBDEVFS_URB_TYPE_CONTROL = 2 -USBDEVFS_URB_TYPE_INTERRUPT = 1 -USBDEVFS_URB_TYPE_ISO = 0 -USBDEVFS_URB_ZERO_PACKET = 64 -USB_DIR_IN = 128 -USB_DIR_OUT = 0 -USB_MAXENDPOINTS = 30 -USB_RECIP_DEVICE = 0 -USB_RECIP_ENDPOINT = 2 -USB_RECIP_INTERFACE = 1 -USB_RECIP_MASK = 31 -USB_RECIP_OTHER = 3 -USB_RECIP_PORT = 4 -USB_RECIP_RPIPE = 5 -USB_TYPE_CLASS = 32 -USB_TYPE_MASK = 96 -USB_TYPE_RESERVED = 96 -USB_TYPE_STANDARD = 0 -USB_TYPE_VENDOR = 64 -__NR_ioctl = 54 -__NR_mmap = 90 -# __NR_mmap2 is not set -__NR_read = 3 -- cgit mrf-deployment