riscv: Add SMP data

Add data for converting logical core ID to hart ID and vice verse.
2019-08-06 16:58:06 +10:00
parent 5a0d349845
commit 8f7b168a53
1 changed files with 2 additions and 0 deletions
--- a/src/arch/riscv/model/statedata.c
+++ b/src/arch/riscv/model/statedata.c
@@ -35,3 +35,5 @@ pte_t kernel_root_pageTable[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits
 #if __riscv_xlen != 32
 pte_t kernel_image_level2_pt[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
 #endif
+
+SMP_STATE_DEFINE(core_map_t, coreMap);