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

/seL4-mcs-10.1.1/src/arch/x86/64/
H A Dtraps.S69 #define LOAD_IRQ_STACK(x) movq %gs:8, %x define
81 #define LOAD_IRQ_STACK(x) leaq x64KSIRQStack, %x define
474 LOAD_IRQ_STACK(rbx)
495 LOAD_IRQ_STACK(rsp)
518 LOAD_IRQ_STACK(rdx)
557 LOAD_IRQ_STACK(rsp)
565 LOAD_IRQ_STACK(rsi)
567 LOAD_IRQ_STACK(rdx)
569 LOAD_IRQ_STACK(rcx)
571 LOAD_IRQ_STACK(r
[all...]

Completed in 20 milliseconds