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

/seL4-test-master/kernel/src/arch/x86/64/
H A Dtraps.S65 #define LOAD_IRQ_STACK(x) movq %gs:8, %x define
77 #define LOAD_IRQ_STACK(x) leaq x64KSIRQStack, %x define
470 LOAD_IRQ_STACK(rbx)
491 LOAD_IRQ_STACK(rsp)
514 LOAD_IRQ_STACK(rdx)
553 LOAD_IRQ_STACK(rsp)
561 LOAD_IRQ_STACK(rsi)
563 LOAD_IRQ_STACK(rdx)
565 LOAD_IRQ_STACK(rcx)
567 LOAD_IRQ_STACK(r
[all...]

Completed in 72 milliseconds