commit 9daa57ec9a3c558c9ee40d62f91aae61474b05f5
author Andrew Walbran <qwandor@google.com> Fri Sep 27 13:33:20 2019 +0100
committer Andrew Walbran <qwandor@google.com> Fri Jan 10 14:26:40 2020 +0000
tree a777375a52792c3abf25e74d0d054f310c8e2193
parent 5697071fedc7256c06fd7a201c97095f0ded8520

Add special dummy VM for TrustZone.

Bug: 132429380
Change-Id: If6d7ecf674d2c3c1e8c26fd8c68fa89f362f3a10

src/manifest.c

diff --git a/src/manifest.c b/src/manifest.c
index c3b5566..d574e55 100644
--- a/src/manifest.c
+++ b/src/manifest.c
@@ -33,6 +33,8 @@
 
 #define VM_NAME_BUF_SIZE (2 + 5 + 1) /* "vm" + number + null terminator */
 static_assert(MAX_VMS <= 99999, "Insufficient VM_NAME_BUF_SIZE");
+static_assert(HF_TEE_VM_ID > MAX_VMS,
+	      "TrustZone VM ID clashes with normal VM range.");
 
 /**
  * Generates a string with the two letters "vm" followed by an integer.