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

seL4 · Dec 9, 2022 · 20e04e9 · 20e04e9
1 parent eadf2e8
commit 20e04e9
Show file tree

Hide file tree

Showing 3 changed files with 32 additions and 0 deletions.
diff --git a/arm_vm_helpers.cmake b/arm_vm_helpers.cmake
@@ -127,8 +127,10 @@ function(DeclareCAmkESARMVM init_component)
         ${VM_COMP_EXTRA_C_FLAGS}
         TEMPLATE_SOURCES
         seL4AllocatorMempool.template.c
+        camkesArmVM.template.c
         TEMPLATE_HEADERS
         seL4AllocatorMempool.template.h
+        camkesArmVM.template.h
     )
 
     if(VmVirtioNetArping OR VmVirtioNetVirtqueue OR VmVirtioConsole)

diff --git a/templates/camkesArmVM.template.c b/templates/camkesArmVM.template.c
@@ -0,0 +1,23 @@
+/*
+ * Copyright 2022, DornerWorks
+ *
+ * SPDX-License-Identifier: BSD-2-Clause
+ */
+
+#include <camkes.h>
+
+/*- if 'pcpus' in configuration[me.name].keys() -*/
+    /*- for c in configuration[me.name].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 configuration[me.name].keys() -*/
+    return /*? len(configuration[me.name].get('pcpus')) ?*/;
+/*- else -*/
+    return 0;
+/*- endif -*/
+}
diff --git a/templates/camkesArmVM.template.h b/templates/camkesArmVM.template.h
@@ -0,0 +1,7 @@
+/*
+ * Copyright 2022, DornerWorks
+ *
+ * SPDX-License-Identifier: BSD-2-Clause
+ */
+
+int get_instance_size_pcpus_list(void);