# 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/linux/usb.h> | |
resource fd_char_usb[fd] | |
syz_open_dev$char_usb(dev const[0xc], major const[USB_MAJOR], minor intptr) fd_char_usb | |
read$char_usb(fd fd_char_usb, buf buffer[out], count len[buf]) | |
write$char_usb(fd fd_char_usb, buf buffer[in], count len[buf]) |