diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-05-27 16:38:09 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-05-27 15:28:45 +0000 |
| commit | ebd4cf5abe35b4d122640cf16b811d62de45be82 (patch) | |
| tree | eb8ecbf9db1892af2a41f3ecc2efda264ac996e3 /sys/linux/usbip.txt | |
| parent | a717135de7c6fd18fe22065264a8d835ce931a25 (diff) | |
prog: introduce a remote_cover call attribute
Update the descriptions to mark calls that cause remote coverage
collection.
Remote some hacky code from the executor.
Diffstat (limited to 'sys/linux/usbip.txt')
| -rw-r--r-- | sys/linux/usbip.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/usbip.txt b/sys/linux/usbip.txt index d93d8bc90..f8ac135b0 100644 --- a/sys/linux/usbip.txt +++ b/sys/linux/usbip.txt @@ -5,7 +5,7 @@ include <drivers/usb/usbip/usbip_common.h> resource fd_usbip_server[fd] -syz_usbip_server_init(speed flags[usbip_device_speed]) fd_usbip_server +syz_usbip_server_init(speed flags[usbip_device_speed]) fd_usbip_server (remote_cover) write$usbip_server(fd fd_usbip_server, buffer ptr[in, usbip_packet], len bytesize[buffer]) type usbip_header_basic[PACKET_TYPE] { |