From dbce178a0e6997a799ba38247059dcb8213f4572 Mon Sep 17 00:00:00 2001
From: m00nbsd <42475391+m00nbsd@users.noreply.github.com>
Date: Sat, 13 Jun 2020 12:10:16 +0200
Subject: sys/netbsd: support multiple vHCI buses (#1822)

---
 executor/executor_bsd.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'executor/executor_bsd.h')

diff --git a/executor/executor_bsd.h b/executor/executor_bsd.h
index a9440acec..d3ef16bce 100644
--- a/executor/executor_bsd.h
+++ b/executor/executor_bsd.h
@@ -74,7 +74,7 @@ static void cover_open(cover_t* cov, bool extra)
 		cover_size = (256 << 10); // maximum size
 		struct kcov_ioc_remote_attach args;
 		args.subsystem = KCOV_REMOTE_VHCI;
-		args.id = procid + 1; // port number
+		args.id = KCOV_REMOTE_VHCI_ID(procid, 1); // first port
 		if (ioctl(cov->fd, KCOV_IOC_REMOTE_ATTACH, &args))
 			fail("ioctl remote attach failed");
 	} else {
-- 
cgit mrf-deployment