ARMv8: adding kernel stack limit to the coredata structure
@@ -49,6 +49,11 @@ struct armv8_core_data {
*/
genpaddr_t cpu_driver_stack;
+ /**
+ * Physical address of the kernel stack
+ */
+ genpaddr_t cpu_driver_stack_limit;
+
/**
* Physical address of the global data structure shared by all
*/
@@ -107,6 +112,13 @@ struct armv8_core_data {
};
+#include <barrelfish_kpi/paging_arch.h>
+
+STATIC_ASSERT(sizeof(struct armv8_core_data) < BASE_PAGE_SIZE,
+ "Core Data structure must not exceed page size");
+
+
+
#define ARMV8_CORE_DATA_PAGES 700
