vm_arm: add method to get size of VM's pcpu list

Signed-off-by: Alex Pavey <[email protected]>
seL4 · Feb 1, 2024 · f060b5c · f060b5c
1 parent e68e522
commit f060b5c
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git 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
@@ -42,3 +42,5 @@ typedef struct {
 } vm_config_t;
 
 extern const vm_config_t vm_config;
+
+int get_instance_size_pcpus_list(void);