From 79acefaa73b79f5830096f702d5c7726e4afd05a Mon Sep 17 00:00:00 2001
From: Chenli Wei <chenli.wei@intel.com>
Date: Thu, 25 Aug 2022 07:15:27 +0800
Subject: [PATCH] misc: add assert to check the total memory size of User VMs

The current code does not detect the memory applied by all VMs, if it
exceeds the native memory, there will be an allocate failed and these
VMs can't run.

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/vm_memory.xsd | 14 ++++++++++++++
 misc/config_tools/schema/datachecks.xsd       |  1 +
 2 files changed, 15 insertions(+)
 create mode 100644 misc/config_tools/schema/checks/vm_memory.xsd

diff --git a/misc/config_tools/schema/checks/vm_memory.xsd b/misc/config_tools/schema/checks/vm_memory.xsd
new file mode 100644
index 000000000..1e5827035
--- /dev/null
+++ b/misc/config_tools/schema/checks/vm_memory.xsd
@@ -0,0 +1,14 @@
+<?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="sum(//memory/range[not(@id)]/@size) &gt; (sum(/acrn-config//vm[load_order != 'SERVICE_VM']//memory/size) + sum(/acrn-config//vm[load_order != 'SERVICE_VM']//size_hpa)) * 1024 * 1024">
+    <xs:annotation acrn:severity="warning" acrn:report-on="/acrn-config//vm[load_order != 'SERVICE_VM']//memory">
+      <xs:documentation>The total memory size applied by all VMs large then the host memory ({(sum(/acrn-config//vm[load_order != 'SERVICE_VM']//memory/size) + sum(/acrn-config//vm[load_order != 'SERVICE_VM']//size_hpa)) * 1024 * 1024} > {sum(//memory/range[not(@id)]/@size)}).</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 a38944a0a..fa1697203 100644
--- a/misc/config_tools/schema/datachecks.xsd
+++ b/misc/config_tools/schema/datachecks.xsd
@@ -19,6 +19,7 @@
       <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')/*)" />
+      <xi:include href="checks/vm_memory.xsd" xpointer="xpointer(id('root')/*)" />
 
     </xs:complexType>
   </xs:element>