From 6ac196d9827b09e0a72ab43f3a7332aae1fe48eb Mon Sep 17 00:00:00 2001
From: Chenli Wei <chenli.wei@intel.com>
Date: Tue, 2 Aug 2022 02:15:29 +0800
Subject: [PATCH] misc: add assert to check the duplicate devices

The current ACRN-Configurator allow user add duplicate PCI devices to
passthrough which it is not correct.

This patch add an assert to check the duplicate of PCI devices.

Tracked-On: #6690
Signed-off-by: Chenli Wei <chenli.wei@linux.intel.com>
Reviewed-by: Junjie Mao <junjie.mao@intel.com>
---
 misc/config_tools/schema/checks/pci_config.xsd | 16 ++++++++++++++++
 misc/config_tools/schema/datachecks.xsd        |  1 +
 2 files changed, 17 insertions(+)
 create mode 100644 misc/config_tools/schema/checks/pci_config.xsd

diff --git a/misc/config_tools/schema/checks/pci_config.xsd b/misc/config_tools/schema/checks/pci_config.xsd
new file mode 100644
index 000000000..f84f2aa24
--- /dev/null
+++ b/misc/config_tools/schema/checks/pci_config.xsd
@@ -0,0 +1,16 @@
+<?xml version="1.0"?>
+<!-- Copyright (C) 2022 Intel Corporation. -->
+<!-- SPDX-License-Identifier: BSD-3-Clause -->
+
+<xs:schema xml:id="root"
+           xmlns:xs="http://www.w3.org/2001/XMLSchema"
+           xmlns:acrn="https://projectacrn.org">
+
+  <xs:assert test="every $pci_device in /acrn-config//pci_dev satisfies
+                   count(/acrn-config//pci_dev[./text()=$pci_device]) = 1">
+    <xs:annotation acrn:severity="error" acrn:report-on="//vm[./pci_devs/pci_dev/text()=$pci_device]">
+      <xs:documentation>The PCI device '{$pci_device}' has been assigned multiple times to VM(s) '{//vm[./pci_devs/pci_dev/text()=$pci_device]/name}'  </xs:documentation>
+    </xs:annotation>
+  </xs:assert>
+
+</xs:schema>
diff --git a/misc/config_tools/schema/datachecks.xsd b/misc/config_tools/schema/datachecks.xsd
index 3f6b2ebca..a38944a0a 100644
--- a/misc/config_tools/schema/datachecks.xsd
+++ b/misc/config_tools/schema/datachecks.xsd
@@ -18,6 +18,7 @@
       <xi:include href="checks/vuart_config.xsd" xpointer="xpointer(id('root')/*)" />
       <xi:include href="checks/ivsh_memory.xsd" xpointer="xpointer(id('root')/*)" />
       <xi:include href="checks/rdt_support.xsd" xpointer="xpointer(id('root')/*)" />
+      <xi:include href="checks/pci_config.xsd" xpointer="xpointer(id('root')/*)" />
 
     </xs:complexType>
   </xs:element>