Home
last modified time | relevance | path

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

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

Completed in 10 milliseconds