github/acrn-hypervisor
1
0
Fork 0
mirror of https://github.com/projectacrn/acrn-hypervisor.git synced 2025-05-30 19:05:33 +00:00
Code Issues Projects Releases Wiki Activity

misc: add assert to check ivsh memory region name

Browse Source 
The current code allow the same region name for same VM, it's an issue

This patch add an assert to check the above issue and report it.

Tracked-On: #6690
Signed-off-by: Chenli Wei <chenli.wei@intel.com>
This commit is contained in:
Chenli Wei 2022-06-02 19:16:28 +08:00 committed by acrnsi-robot
parent 74c22f5382
commit d6d6c867fc
2 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
misc/config_tools/schema/checks/ivsh_memory.xsd Normal file
View File

@ -0,0 +1,17 @@
<?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 $VM_NAME in /acrn-config//IVSHMEM//VM_NAME satisfies
every $REGION_NAME in /acrn-config//IVSHMEM_REGION[IVSHMEM_VMS/IVSHMEM_VM/VM_NAME=$VM_NAME]/NAME satisfies
count(/acrn-config//IVSHMEM_REGION[NAME=$REGION_NAME]/IVSHMEM_VMS/IVSHMEM_VM[VM_NAME=$VM_NAME]) = 1">
<xs:annotation acrn:severity="error" acrn:report-on="$REGION_NAME">
<xs:documentation>InterVM shared memory region name "{$REGION_NAME}" should be different for the same VM "{$VM_NAME}"</xs:documentation>
</xs:annotation>
</xs:assert>
</xs:schema>

1
misc/config_tools/schema/datachecks.xsd
View File

@ -16,6 +16,7 @@
<xi:include href="checks/passthrough_devices.xsd" xpointer="xpointer(id('root')/*)" />
<xi:include href="checks/virtio_devices.xsd" xpointer="xpointer(id('root')/*)" />
<xi:include href="checks/vuart_config.xsd" xpointer="xpointer(id('root')/*)" />
<xi:include href="checks/ivsh_memory.xsd" xpointer="xpointer(id('root')/*)" />
</xs:complexType>
</xs:element>