From aff0b99956e61705ee5e2401ef860665ebae6d90 Mon Sep 17 00:00:00 2001
From: Alex Pavey <Alex.Pavey@dornerworks.com>
Date: Fri, 9 Dec 2022 15:03:14 -0800
Subject: [PATCH] vm_arm: add method to get size of VM's pcpu list

Signed-off-by: Alex Pavey <Alex.Pavey@dornerworks.com>
---
 templates/seL4VMParameters.template.c | 16 ++++++++++++++++
 templates/seL4VMParameters.template.h |  2 ++
 2 files changed, 18 insertions(+)

diff --git a/templates/seL4VMParameters.template.c b/templates/seL4VMParameters.template.c
index 7b7ce070..158df21c 100644
--- a/templates/seL4VMParameters.template.c
+++ b/templates/seL4VMParameters.template.c
@@ -124,3 +124,19 @@ const vm_config_t vm_config = {
 /*- endif -*/
 
 };
+
+/*- if 'pcpus' in config.keys() -*/
+    /*- for c in config.get('pcpus') -*/
+#if (/*? c ?*/  >= CONFIG_MAX_NUM_NODES)
+#error "Invalid CPU number /*? c ?*/ in PCPU list of /*? me.name ?*/"
+#endif
+    /*- endfor -*/
+/*- endif -*/
+
+int get_instance_size_pcpus_list(void) {
+/*- if 'pcpus' in config.keys() -*/
+    return /*? len(config.get('pcpus')) ?*/;
+/*- else -*/
+    return 0;
+/*- endif -*/
+}
diff --git a/templates/seL4VMParameters.template.h b/templates/seL4VMParameters.template.h
index ab30b5e6..b7d52501 100644
--- a/templates/seL4VMParameters.template.h
+++ b/templates/seL4VMParameters.template.h
@@ -42,3 +42,5 @@ typedef struct {
 } vm_config_t;
 
 extern const vm_config_t vm_config;
+
+int get_instance_size_pcpus_list(void);