Home
last modified time | relevance | path

Searched refs:x64KSIRQStack (Results 1 – 7 of 7) sorted by relevance

/seL4-master/src/arch/x86/64/model/
A Dsmp.c19 node_info[cpu_index].irqStack = &x64KSIRQStack[cpu_index][0]; in mode_init_tls()
A Dstatedata.c31 word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS; variable
/seL4-master/src/arch/x86/64/
A Dc_traps.c153 word_t *irqstack = x64KSIRQStack[CURRENT_CPU_INDEX()]; in restore_user_context()
394 word_t *irq_stack = x64KSIRQStack[CURRENT_CPU_INDEX()]; in c_x64_handle_interrupt()
A Dtraps.S77 #define LOAD_IRQ_STACK(x) leaq x64KSIRQStack, %x
/seL4-master/include/arch/x86/arch/64/mode/model/
A Dstatedata.h50 extern word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS;
/seL4-master/include/arch/x86/arch/64/mode/fastpath/
A Dfastpath.h138 word_t *irqstack = x64KSIRQStack[CURRENT_CPU_INDEX()]; in fastpath_restore()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c310 word_t base = (word_t)&x64KSIRQStack[CURRENT_CPU_INDEX()][IRQ_STACK_SIZE]; in init_tss()

Completed in 17 milliseconds