From ebd4cf5abe35b4d122640cf16b811d62de45be82 Mon Sep 17 00:00:00 2001
From: Aleksandr Nogikh <nogikh@google.com>
Date: Mon, 27 May 2024 16:38:09 +0200
Subject: 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.
---
 sys/linux/usbip.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sys/linux/usbip.txt')

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] {
-- 
cgit mrf-deployment