From 696287da05b1890ff03bf8ed2ec62906afe2e1ce Mon Sep 17 00:00:00 2001
From: Willi Ballenthin <willi.ballenthin@gmail.com>
Date: Wed, 15 Nov 2023 11:00:26 +0000
Subject: [PATCH] vmci: tweak required vs optional APIs

---
 communication/socket/create-vmci-socket.yml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/communication/socket/create-vmci-socket.yml b/communication/socket/create-vmci-socket.yml
index f2d536cc..1b55ad62 100644
--- a/communication/socket/create-vmci-socket.yml
+++ b/communication/socket/create-vmci-socket.yml
@@ -17,13 +17,13 @@ rule:
     - or:
       - and:
         - os: windows
-        - or:
-          - api: socket
-          - api: DeviceIoControl
+        - api: DeviceIoControl
         - number: 0x81032068 = VMCI_SOCKETS_GET_AF_VALUE
+        - optional:
+          - api: socket
       - and:
         - os: linux
-        - or:
-          - api: socket
-          - api: ioctl
+        - api: ioctl
         - number: 0x7B8 = VMCI_SOCKETS_GET_AF_VALUE
+        - optional:
+          - api: socket