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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86assembly_gas32.S74 #define Arg_SaveCStack 0x18 /* Save C Stack pointer */ define
121 movl %esp,Arg_SaveCStack(%ebp)
153 movl Arg_SaveCStack(%ebp),%esp # Restore C stack pointer
H A Dx86assembly_gas64.S86 #define Arg_SaveCStack 0x30 /* Current stack base */ define
148 movq %rsp,Arg_SaveCStack(%rbp)
221 movq Arg_SaveCStack(%rbp),%rsp # Restore C stack pointer

Completed in 26 milliseconds