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

/seL4-test-master/kernel/include/
H A Dlinker.h32 #define SKIM_BSS SECTION(".skim.bss") macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/model/
H A Dsmp.h39 extern char nodeSkimScratch[CONFIG_MAX_NUM_NODES][sizeof(nodeInfo_t)] ALIGN(L1_CACHE_LINE_SIZE) VISIBLE SKIM_BSS; variable
H A Dstatedata.h50 extern word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS; variable
/seL4-test-master/kernel/src/arch/x86/64/model/
H A Dstatedata.c31 word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS; variable
/seL4-test-master/kernel/src/arch/x86/model/
H A Dstatedata.c23 x86_arch_global_state_t x86KSGlobalState[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE) SKIM_BSS;
/seL4-test-master/kernel/include/arch/x86/arch/model/
H A Dstatedata.h67 extern x86_arch_global_state_t x86KSGlobalState[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE) SKIM_BSS;

Completed in 45 milliseconds