Searched refs:SKIM_BSS (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/
H A Dlinker.h37 #define SKIM_BSS SECTION(".skim.bss") macro
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/model/
H A Dsmp.h46 extern char nodeSkimScratch[CONFIG_MAX_NUM_NODES][sizeof(nodeInfo_t)] ALIGN(L1_CACHE_LINE_SIZE) VISIBLE SKIM_BSS; variable
H A Dstatedata.h57 extern word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS; variable
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/model/
H A Dstatedata.c37 word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS; variable
/seL4-l4v-10.1.1/seL4/src/arch/x86/model/
H A Dstatedata.c27 x86_arch_global_state_t x86KSGlobalState[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE) SKIM_BSS;
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/model/
H A Dstatedata.h72 extern x86_arch_global_state_t x86KSGlobalState[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE) SKIM_BSS;

Completed in 690 milliseconds